Login / Signup

A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch.

Arut Prakash KaleeswaranArne NordmannThomas VogelLars Grunske
Published in: CoRR (2023)
Keyphrases
  • formal verification
  • model checking
  • user interface
  • recommender systems
  • object oriented
  • learning environment
  • web search
  • open source
  • user interaction