Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification.
Angelo FerrandoPublished in: DC@AI*IA (2016)
Keyphrases
- formal verification
- model checking
- asynchronous circuits
- automatic extraction
- fully automatic
- clustering algorithm
- high level
- information extraction
- formal methods
- protocol specification
- neural network
- information systems
- semi automatic
- features extraction
- automatically extracted
- database
- case study
- decision trees
- website
- databases