4 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.LO2024★ 4 cited
Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
Márk Somorjai, Mihály Dobos-Kovács, Zsófia Ádám +2
Constrained Horn Clauses (CHCs) have conventionally been used as a low-level representation in formal verification. Most existing solvers use a diverse set of specialized technique…
cs.DC2021★ 2 cited
Towards formally analyzed Cyber-Physical Systems
Richárd Szabó, András Vörös
Cyber-physical systems (CPS) can be found everywhere: smart homes, autonomous vehicles, aircrafts, healthcare, agriculture and industrial production lines. CPSs are often critical,…
cs.SE2020★ 2 cited
Simulation-based Safety Assessment of High-level Reliability Models
Simon József Nagy, Bence Graics, Kristóf Marussy +1
Systems engineering approaches use high-level models to capture the architecture and behavior of the system. However, when safety engineers conduct safety and reliability analysis,…