Deduction in the Verification Support Environment (VSE).
Dieter HutterBruno LangensteinClaus SenglerJörg H. SiekmannWerner StephanAndreas WolpersPublished in: FME (1996)
Keyphrases
- support environment
- grid technology
- model checking
- theorem proving
- formal verification
- knowledge base
- inference rules
- face verification
- formal methods
- distributed learning environments
- asynchronous circuits
- automated theorem proving
- automated deduction
- functional verification
- database
- computer algebra
- formal analysis
- data mining