Reliability analysis in component-based development via probabilistic model checking.
Nikola BenesBarbora BuhnovaIvana CernaRadek OslejsekPublished in: CBSE (2012)
Keyphrases
- model checking
- reliability analysis
- temporal logic
- component based development
- formal verification
- temporal properties
- formal specification
- automated verification
- model checker
- symbolic model checking
- formal methods
- computation tree logic
- verification method
- timed automata
- epistemic logic
- transition systems
- databases
- bounded model checking
- software reuse
- software quality
- condition monitoring
- conceptual modeling
- software components
- artificial intelligence
- alternating time temporal logic
- information systems
- machine learning
- data mining
- database