550 citations · 8k across the 290 of their papers we have counts for
Showing 2024 · cs.LOShow all
2 papers · 2 filters
cs.LO2024★ 1 cited
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
Alessandro Cimatti, Alberto Griggio, Gianluca Redondi
Interlocking logics are at the core of critical systems controlling the traffic within stations. In this paper, we consider a generic interlocking logic, which can be instantiated…
cs.LO2024
Invariant Checking for SMT-based Systems with Quantifiers
Gianluca Redondi, Alessandro Cimatti, Alberto Griggio +1
This paper addresses the problem of checking invariant properties for a large class of symbolic transition systems, defined by a combination of SMT theories and quantifiers. State…