3 citations · 3 across the 1 of their papers we have counts for
1 paper
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…