Verifying Business Rules Using Model-Checking Techniques for Non-specialist in Model-Checking.
Yoshitaka AokiSaeko MatsuuraPublished in: IEICE Trans. Inf. Syst. (2014)
Keyphrases
- model checking
- business rules
- temporal logic
- formal specification
- formal verification
- temporal properties
- model checker
- automated verification
- transition systems
- symbolic model checking
- computation tree logic
- timed automata
- business process
- fine grained
- information systems
- concurrent systems
- business processes
- reachability analysis
- epistemic logic
- reverse engineering
- verification method
- bounded model checking
- planning domains
- asynchronous circuits
- key features
- artificial intelligence