中国机械工程学会生产工程分会知识服务平台 | sc.gmachineinfo.com

期刊

ISSN	0167-6423
刊名	Science of Computer Programming
参考译名	计算机程序设计科学
收藏年代	2002～2024

全部

题名	作者	出版年	年卷期
Symbolic execution for a clash-free subset of ASMs	Schellhorn, Gerhard; Ernst, Gidon; Pfaehler, Joerg; Bodenmueller, Stefan; Reif, Wolfgang	2018	2018, vol.158
Introduction to the ABZ 2016 Special issue	Butler, Michael; Schewe, Klaus-Dieter	2018	2018, vol.158
Enabling analysis for Event-B	Leuschel, Michael; Dobrikov, Ivaylo	2018	2018, vol.158
Integrating formal methods into medical software development: The ASM approach	Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo; Mashkoor, Atif; Riccobene, Elvinia	2018	2018, vol.158
Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset	Thai Son Hoang; Snook, Colin; Salehi, Asieh; Butler, Michael; Ladenberger, Lukas	2018	2018, vol.158
Formal methods and finite element analysis of hurricane storm surge: A case study in software verification	Baugh, John; Altuntas, Alper	2018	2018, vol.158
A machine-checked correctness proof for Pastry	Azmy, Noran; Merz, Stephan; Weidenbach, Christoph	2018	2018, vol.158
Encoding TLA(+) into unsorted and many-sorted first-order logic	Merz, Stephan; Vanzetto, Hernan	2018	2018, vol.158
Proof assisted bounded and unbounded symbolic model checking of software and system models	Krings, Sebastian; Leuschel, Michael	2018	2018, vol.158