Scalable Techniques for Formal Verification

DOI10.1007/978-1-4419-5998-0zbMath1211.68253OpenAlexW2505505853MaRDI QIDQ5187984

Sandip Ray

Publication date: 10 March 2010

Full work available at URL: https://doi.org/10.1007/978-1-4419-5998-0

zbMATH Keywords

operational semanticstheorem provingformal verificationmodel checkingprogram logicsintegrated formal methodsinteractive proof styles

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Formal analysis and offline monitoring of electronic exams

Uses Software

• ACL2
• PVS
• Maude

This page was built for publication: Scalable Techniques for Formal Verification