Specification of temporal properties of functions for runtime verification.
Joshua Heneage DawesGiles RegerPublished in: SAC (2019)
Keyphrases
- temporal properties
- model checking
- formal methods
- formal verification
- formal specification
- temporal logic
- asynchronous circuits
- possibility theory
- protocol specification
- concurrent systems
- knowledge based systems
- high level
- knowledge acquisition
- reverse engineering
- propositional logic
- general purpose
- software engineering
- case based reasoning
- probability distribution
- multi agent systems
- machine learning
- data mining