A compositional approach to the verification of hybrid systems

DOI10.1007/978-3-319-30734-3_8zbMath1475.68173OpenAlexW2345814603MaRDI QIDQ2026785

Marius Bozga, Lăcrămioara Aştefănoaei, Saddek Bensalem

Publication date: 20 May 2021

Full work available at URL: https://doi.org/10.1007/978-3-319-30734-3_8

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: A compositional approach to the verification of hybrid systems