Rule-based runtime verification revisited.
Klaus HavelundPublished in: Int. J. Softw. Tools Technol. Transf. (2015)
Keyphrases
- expert systems
- data driven
- formal verification
- model checking
- rule based systems
- information retrieval
- concurrent systems
- information systems
- asynchronous circuits
- rule base
- face verification
- signature verification
- functional verification
- neural network
- verification method
- formal analysis
- fuzzy logic
- bayesian networks
- feature selection
- learning algorithm
- real world