Unit checking: symbolic model checking for a unit of code

DOI10.1007/B12001zbMATH Open1274.68188OpenAlexW2483649756MaRDI QIDQ5305656FDOQ5305656

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

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

Mathematics Subject Classification ID

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

Cited In (4)

• Generating Path Conditions for Timed Systems
• Model checking, testing and verification working together
• Title not available (Why is that?)
• Automatic generation of path conditions for concurrent timed systems

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)