Generating Path Conditions for Timed Systems

DOI10.1007/11589976_2zbMath1137.68351OpenAlexW1581196827MaRDI QIDQ5429305

Saddek Bensalem, Hongyang Qu, Doron A. Peled, 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

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

Related Items (1)

Combining Model Checking and Testing

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