Sign in

A user study for evaluation of formal verification results and their explanation at Bosch.

Arut Prakash KaleeswaranArne NordmannThomas VogelLars Grunske
Published in: Empir. Softw. Eng. (2023)
Keyphrases
  • formal verification
  • user preferences
  • information retrieval
  • website
  • user interface
  • information retrieval systems
  • model checking
  • end users
  • user interaction
  • user queries
  • evaluation method
  • symbolic model checking