VSE II
Project VSE II
Enhancing VSE with concurrency, structural deduction, and an integrated theorem prover
Work area
: Deduction Systems
Start date:
1 Jun 96
Duration:
32 months
Funding:
BSI
Contact:
Dr. Werner Stephan
(stephan@dfki.de)
In this project, the VSE system will be enhanced by providing support for the modelling of concurrent, reactive systems; by supporting structural deduction; and by providing an integrated theorem prover based on KIV and INKA.
More info:
