88 citations · 247 across the 16 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2015★ 3 cited
The xSAP Safety Analysis Platform
Benjamin Bittner, Marco Bozzano, Roberto Cavada +6
This paper describes the xSAP safety analysis platform. xSAP provides several model-based safety analysis features for finite- and infinite-state synchronous transition systems. In…
cs.SE2009★ 88 cited
Software Model Checking via Large-Block Encoding
Dirk Beyer, Alessandro Cimatti, Alberto Griggio +2
The construction and analysis of an abstract reachability tree (ART) are the basis for a successful method for software verification. The ART represents unwindings of the control-f…