Keyphrases
- scientific discovery
- human reasoning
- knowledge discovery
- model checking
- artificial intelligence
- formal verification
- logical reasoning
- website
- concurrent systems
- probabilistic logic
- asynchronous circuits
- logical framework
- logical properties
- verification method
- truth values
- real time
- temporal logic
- fuzzy logic
- case study
- databases