5 citations · 29 across the 26 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024★ 1 cited
Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
Ondřej Vašíček, Joaquin Arias, Jan Fiedor +6
This paper proposes a new methodology for early validation of high-level requirements on cyber-physical systems with the aim of improving their quality and, thus, lowering chances…
cs.SE2024
Algorithmic Details behind the Predator Shape Analyser
Kamil Dudka, Petr Muller, Petr Peringer +2
This chapter, which is an extended and revised version of the conference paper 'Predator: Byte-Precise Verification of Low-Level List Manipulation', concentrates on a detailed desc…