Refinement of trace abstraction for real-time programs
From MaRDI portal
Publication:1685776
DOI10.1007/978-3-319-67089-8_4zbMath1478.68052OpenAlexW2750367645MaRDI QIDQ1685776
Kim Guldstrand Larsen, Peter Gjøl Jensen, Franck Cassez
Publication date: 20 December 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-67089-8_4
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Stubborn versus structural reductions for Petri nets ⋮ Transformation-Enabled Precondition Inference ⋮ Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction*
This page was built for publication: Refinement of trace abstraction for real-time programs
