Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version).
Alessandro TrindadeHussama IsmailLucas C. CordeiroPublished in: CoRR (2015)
Keyphrases
- model checking
- embedded systems
- hw sw
- hardware software partitioning
- hardware software
- temporal logic
- formal specification
- low cost
- temporal properties
- automated verification
- formal verification
- design methodology
- model checker
- verification method
- bounded model checking
- computation tree logic
- symbolic model checking
- formal methods
- real time systems
- transition systems
- software systems
- field programmable gate array
- epistemic logic
- hardware and software
- modal logic
- design issues
- information systems
- reactive systems
- design space exploration
- real time
- web services