Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods.
Maurice H. ter BeekAlessio FerrariPublished in: CoRR (2022)
Keyphrases
- formal methods
- empirical studies
- formal analysis
- knowledge based systems
- model checking
- safety critical
- model checker
- formal specification
- empirical analysis
- temporal properties
- real world data sets
- artificial intelligence
- reactive systems
- systematic review
- uci datasets
- software engineering
- theoretical analysis
- process algebra
- machine learning
- temporal logic
- fault tolerant
- data sets