Formal Verification of Interactive Computing Systems: Opportunities, Challenges.
José Creissac CamposMichael D. HarrisonPublished in: EICS Workshops (2019)
Keyphrases
- computing systems
- formal verification
- model checking
- computer systems
- academia and industry
- computing technologies
- automated verification
- model checker
- bounded model checking
- visual analytics
- high performance computing
- parallel computing
- symbolic model checking
- autonomic computing systems
- computing platform
- autonomic computing
- graphics processing units
- open source
- hardware platforms