20 citations · 30 across the 3 of their papers we have counts for
3 papers · 1 filter
A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch
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…
A systematic literature review on counterexample explanation
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel +1
Context: Safety is of paramount importance for cyber-physical systems in domains such as automotive, robotics, and avionics. Formal methods such as model checking are one way to en…
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel +1
Context: The complexity of modern safety-critical systems in industries keep on increasing due to the rising number of features and functionalities. This calls for formal methods i…