Consistency Verification of Specification Rules.
Thai Son HoangShinji ItohKyohei OyamaKunihiko MiyazakiHironobu KurumaNaoto SatoPublished in: ICFEM (2015)
Keyphrases
- formal verification
- association rules
- protocol specification
- model checking
- asynchronous circuits
- formal methods
- business rules
- association rule mining
- decision rules
- artificial intelligence
- classification rules
- rule sets
- formal specification
- specification language
- data sets
- case based reasoning
- global consistency
- information systems
- rule extraction
- high level
- active databases
- knowledge discovery
- database
- background knowledge
- rough sets