Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking.
Vassil TodorovSafouan TahaFrédéric BoulangerPublished in: NFM (2020)
Keyphrases
- model checking
- quality metrics
- formal verification
- formal specification
- transition systems
- temporal logic
- reactive systems
- formal methods
- process algebra
- quality assessment
- image quality
- automated verification
- model checker
- specification language
- asynchronous circuits
- linear temporal logic
- human visual system
- verification method
- symbolic model checking
- evolutionary algorithm
- temporal properties
- bounded model checking
- computation tree logic
- visual quality
- epistemic logic
- human perception
- data quality
- timed automata
- machine learning
- knowledge representation
- evaluation metrics
- concurrent systems
- automated reasoning
- abstract interpretation
- high level
- peak signal to noise ratio
- databases
- object oriented
- quality measures
- high quality
- control flow