Automatic generation of path conditions for concurrent timed systems

DOI10.1016/J.TCS.2008.03.012MaRDI QIDQ947796zbMATH OpenOpenAlexFDO

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

Publication date 7 October 2008

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2008.03.012

zbMATH Keywords

partial orderdifference-bound matricestest case generationextended timed automatatimed transition systemspath condition

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Generating Path Conditions for Timed Systems
• Conformance tests for real-time systems with timed automata specifications
• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 1701769
• A method for testing real-time systems based on timed automata

Cites work

• scientific article; zbMATH DE number 3174052 (Why is no real title available?)
• scientific article; zbMATH DE number 1361136 (Why is no real title available?)
• A Theorem on Boolean Matrices
• A theory of timed automata
• Guarded commands, nondeterminacy and formal derivation of programs
• Linear parametric model checking of timed automata
• On a routing problem
• Symbolic model checking for real-time systems
• Temporal proof methodologies for timed transition systems
• Unit checking: symbolic model checking for a unit of code
• Weakest precondition semantics for time and concurrency

Cited in

(2)

• Generating Path Conditions for Timed Systems
• Time Unbalanced Partial Order

Describes a project that uses

Uses Software

• Algorithm 97

This page was built for publication: Automatic generation of path conditions for concurrent timed systems

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