Unit checking: symbolic model checking for a unit of code

DOI10.1007/B12001MaRDI QIDQ5305656zbMATH OpenOpenAlexFDO

Authors Elsa Gunter, Doron Peled

Publication date 23 March 2010

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

Full work available at URL https://doi.org/10.1007/b12001

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model checking, testing and verification working together
• scientific article; zbMATH DE number 1956607
• scientific article; zbMATH DE number 2020179
• scientific article; zbMATH DE number 910719
• scientific article; zbMATH DE number 2090141

Cited in

(4)

• Automatic generation of path conditions for concurrent timed systems
• scientific article; zbMATH DE number 2089386 (Why is no real title available?)
• Generating Path Conditions for Timed Systems
• Model checking, testing and verification working together

Describes a project that uses

Uses Software

• IsaWin
• ESC/Java

This page was built for publication: Unit checking: symbolic model checking for a unit of code

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