Hybrid verificatio of temporal properties in hardware dependent software.
Djones LettninWolfgang RosenstielPublished in: LATW (2011)
Keyphrases
- temporal properties
- model checking
- computer systems
- hardware design
- formal methods
- hardware and software
- hardware software
- personal computer
- embedded systems
- hardware platforms
- software implementation
- low cost
- software development
- software systems
- blue gene
- hardware implementation
- temporal logic
- computing platform
- possibility theory
- source code
- data mining
- graphical models
- general purpose
- probabilistic model
- multi agent
- high level
- dedicated hardware
- machine learning