88 citations · 247 across the 16 of their papers we have counts for
1 paper · 2 filters
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…