scientific article
From MaRDI portal
Publication:2722048
zbMath0966.68118MaRDI QIDQ2722048
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Saddek Bensalem, Yassine Lakhneche
Publication date: 11 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Analysis of a biphase mark protocol with Uppaal and PVS, Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems, Formal Modelling, Analysis and Verification of Hybrid Systems, Generating invariants for non-linear loops by linear algebraic methods, Constructing invariants for hybrid systems, Endomorphisms for Non-trivial Non-linear Loop Invariant Generation
