Refinement of trace abstraction for real-time programs

DOI10.1007/978-3-319-67089-8_4zbMATH Open1478.68052OpenAlexW2750367645MaRDI QIDQ1685776FDOQ1685776

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

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

Mathematics Subject Classification ID

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

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)