- International Conference on Computer Aided Verification
Series of conferences dedicated to the theory and practice of computer aided formal analysis methods for hardware and software systems.
www.cav-conference.org
- Formal Methods - Model Checking
Model checking is a method for formally verifying finite-state concurrent systems.
www.cs.cmu.edu/~modelcheck
- MeijeTools
A set of tools for the automatic verification of parallel and distributed systems.
www-sop.inria.fr/meije/meijetools.html
|
Help us improve the Yahoo! Directory -