User Experience with High Level Formal Verification (Panel).
Randal E. BryantGerry MusgravePublished in: DAC (1998)
Keyphrases
- user experience
- formal verification
- high level
- model checking
- low level
- user behavior
- automated verification
- model checker
- bounded model checking
- user studies
- user interface
- user interaction
- mobile applications
- end users
- symbolic model checking
- information access
- temporal logic
- mobile services
- user engagement
- programming language
- program slicing
- interface design
- online advertising
- formal specification
- user perceptions
- emerging technologies
- reinforcement learning