Formal Verification of Behaviour Networks Including Hardware Failures.
Lisa KiekbuschChristopher ArmbrustKarsten BernsPublished in: IAS (2014)
Keyphrases
- formal verification
- model checking
- bounded model checking
- model checker
- symbolic model checking
- real time
- low cost
- hardware and software
- hardware implementation
- computing systems
- functional verification
- program slicing
- embedded systems
- root cause
- failure rate
- low latency
- temporal logic
- high bandwidth
- complex networks
- link failure
- network structure
- knowledge based systems
- knowledge base
- social networks