Generating Path Conditions for Timed Systems

DOI10.1007/11589976_2MaRDI QIDQ5429305zbMATH OpenOpenAlexFDO

Authors Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis

Publication date 29 November 2007

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

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

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

• Automatic generation of path conditions for concurrent timed systems
• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 1701769
• Conformance tests for real-time systems with timed automata specifications
• Unit checking: symbolic model checking for a unit of code

Cited in

(2)

• Combining model checking and testing
• Automatic generation of path conditions for concurrent timed systems

This page was built for publication: Generating Path Conditions for Timed Systems

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