Applying Empirical and Formal Methods for Modelling Systems with Concurrency and Timing Aspects.
José M. GarridoPublished in: ACM Southeast Regional Conference (2017)
Keyphrases
- formal methods
- safety critical
- formal analysis
- knowledge based systems
- artificial intelligence
- formal specification
- database
- model checking
- reactive systems
- software engineering
- model checker
- process algebra
- software systems
- complex systems
- formal specification language
- computational systems
- fault tolerant
- computer systems
- knowledge acquisition
- distributed systems
- high level
- case study
- data mining
- databases