System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation.
Toni ManciniFederico MariAnnalisa MassiniIgor MelattiEnrico TronciPublished in: PDP (2014)
Keyphrases
- formal verification
- model checking
- model checker
- program slicing
- automated verification
- higher level
- real time
- cooperative
- low cost
- distributed systems
- distributed environment
- bounded model checking
- hardware implementation
- hardware and software
- peer to peer
- temporal logic
- computing systems
- computer systems
- commodity hardware
- open source
- expert systems
- multi agent