Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems.
Orlando FerranteLuca BenvenutiLeonardo MangerucaChristos SofronisAlberto FerrariPublished in: SAFECOMP Workshops (2012)
Keyphrases
- model checking
- embedded systems
- model checker
- symbolic model checking
- formal verification
- temporal logic
- formal methods
- formal specification
- description language
- computing power
- safety critical
- embedded software
- real time systems
- low cost
- embedded devices
- resource limited
- test suite
- processing power
- set theory
- partial observability
- symbolic representation
- hw sw
- embedded real time systems
- hardware software
- software systems
- high level
- field programmable gate array
- planning domains
- parallel computing
- development process
- software engineering
- artificial intelligence
- real world
- real time