Login / Signup
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation.
Arut Prakash Kaleeswaran
Arne Nordmann
Thomas Vogel
Lars Grunske
Published in:
CoRR (2021)
Keyphrases
</>
formal verification
coloured petri nets
model checker
empirical studies
model checking
user interaction
artificial intelligence
collaborative filtering
user profiles
user studies