Improving HyLTL model checking of hybrid systems

MaRDI QIDQ4992508zbMATH OpenFDO

Authors Davide Bresolin

Publication date 9 June 2021

Full work available at URL https://arxiv.org/abs/1307.4470, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2013.9

Mathematics Subject Classification ID

Temporal logic (03B44) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1670789
• Computer Aided Verification
• HyTech: A model checker for hybrid systems
• HySAT: An efficient proof engine for bounded model checking of hybrid systems
• scientific article; zbMATH DE number 1538038

Cited in

(7)

• Model checking for hybrid logic
• scientific article; zbMATH DE number 1670789 (Why is no real title available?)
• HYST: a source transformation and translation tool for hybrid automaton models
• The Image Computation Problem in Hybrid Systems Model Checking
• An introduction to the verification of hybrid systems using \textsc{Ariadne}
• A translation of the existential model checking problem from MITL to HLTL
• A type-based analysis of causality loops in hybrid systems modelers

This page was built for publication: Improving HyLTL model checking of hybrid systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4992508)