Logic Based Information System Specification Verification.
Waldo C. KabatWojtek KozaczynskiVicki LovegrenPublished in: ICIS (1986)
Keyphrases
- information systems
- formal verification
- asynchronous circuits
- protocol specification
- model checking
- formal methods
- formal specification
- face verification
- knowledge representation
- health care
- business rules
- data mining
- requirements analysis
- colored petri nets
- information technology
- criminal justice
- machine learning
- specification language
- e learning