Model Checking Memory-Related Properties of Hardware/Software Co-designs.
Marcel PockrandtPaula HerberVerena KlösSabine GlesnerPublished in: IESS (2013)
Keyphrases
- model checking
- temporal properties
- hardware software
- temporal logic
- formal specification
- formal verification
- model checker
- automated verification
- hardware and software
- formal methods
- symbolic model checking
- bounded model checking
- epistemic logic
- computation tree logic
- hw sw
- verification method
- transition systems
- design methodology
- embedded systems
- case study
- description language
- multi agent