Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design.
Amit BatajooYojiro HarieKatsumi WasakiPublished in: GCCE (2018)
Keyphrases
- formal verification
- automated verification
- model checking
- building blocks
- model checker
- formal methods
- functional verification
- interactive systems
- bounded model checking
- design decisions
- design tools
- design processes
- model driven development
- virtual reality
- software environment
- simulation tools
- knowledge based systems
- three dimensional
- temporal logic
- software components
- complex systems
- learning systems
- virtual environment
- program slicing