2 papers
cs.LO2026
Weakest Precondition Rules for Programs with Linear Temporal Specifications
Gidon Ernst
With today's mature auto-active program verification tools complex functional requirements can be formalized and proved. To that end, they rely on verification condition generation…
eess.SY2024
Exploring Behaviors of Hybrid Systems via the Voronoi Bias over Output Signals
Gidon Ernst, JiÅÃ Fejlek
In this paper, we consider an analysis of temporal properties of hybrid systems based on simulations, so-called falsification of requirements. We present a novel exploration-based…