A methodology for early functional verification of embedded software combining virtual platforms and bounded model checking.
Rogerio PaludoDjones LettninPublished in: LATS (2016)
Keyphrases
- embedded software
- bounded model checking
- functional verification
- formal verification
- model checking
- embedded systems
- software architecture
- development projects
- sequence diagrams
- linear temporal logic
- temporal logic
- multi agent systems
- hardware software
- case study
- web services
- artificial intelligence
- autonomous agents
- reinforcement learning
- information systems