Spread the work: multi-threaded safety analysis for hybrid systems

DOI10.1007/978-3-319-92970-5_6zbMath1509.68172OpenAlexW2807520626MaRDI QIDQ6039384

Stefan Schupp, Erika Ábrahám

Publication date: 5 May 2023

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-92970-5_6

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}

This page was built for publication: Spread the work: multi-threaded safety analysis for hybrid systems