Cloud-based verification of concurrent software

DOI10.1007/978-3-662-49122-5_15MaRDI QIDQ2796058zbMATH OpenOpenAlexFDO

Authors Gerard J. Holzmann

Publication date 23 March 2016

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-49122-5_15

zbMATH Keywords

software testingcloud computingconcurrencysoftware verificationmassive parallelismlogic model checkingmulti-threaded codeswarm verification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Model checking of concurrent algorithms: from Java to C
• Model checking concurrent programs
• scientific article; zbMATH DE number 1670562
• scientific article; zbMATH DE number 1982207
• Modular verification of multithreaded programs

Cited in

(1)

• Parallel assignments in software model checking

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Cloud-based verification of concurrent software

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2796058)