20 citations · 30 across the 3 of their papers we have counts for
1 paper · 1 filter
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel +1
Context: Ensuring safety for any sophisticated system is getting more complex due to the rising number of features and functionalities. This calls for formal methods to entrust con…