Refinement of trace abstraction for real-time programs

DOI10.1007/978-3-319-67089-8_4MaRDI QIDQ1685776zbMATH OpenOpenAlexFDO

Authors Franck Cassez, Peter Gjøl Jensen, Kim G. Larsen

Publication date 20 December 2017

Full work available at URL https://doi.org/10.1007/978-3-319-67089-8_4

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Verification and parameter synthesis for real-time programs using refinement of trace abstraction
• scientific article; zbMATH DE number 1104387
• Verification, refinement and scheduling of real-time programs
• Local abstraction refinement for probabilistic timed programs
• Procedures and parameters in the real-time program refinement calculus

Cited in

(5)

• Stubborn versus structural reductions for Petri nets
• Transformation-Enabled Precondition Inference
• Verification and parameter synthesis for real-time programs using refinement of trace abstraction
• A global constraint for over-approximation of real-time streams
• Property directed reachability for generalized Petri nets

This page was built for publication: Refinement of trace abstraction for real-time programs

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