Generalized property-directed reachability for hybrid systems

DOI10.1007/978-3-030-39322-9_14OpenAlexW3002244537MaRDI QIDQ784143

Takuya Ishizawa, Kohei Suenaga

Publication date: 5 August 2020

Full work available at URL: https://arxiv.org/abs/1910.03784

zbMATH Keywords

verificationhybrid systemsmodel checkingIC3property-directed reachability

Mathematics Subject Classification ID

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

Related Items (1)

A Simulink-based software solution using the infinity computer methodology for higher order differentiation

Uses Software

• KeYmaera
• HyTech
• z3
• ODEPACK
• SpaceEx
• Flow*
• HyComp
• CTIGAR

This page was built for publication: Generalized property-directed reachability for hybrid systems