diff options
| author | Pav Lucistnik <pav@FreeBSD.org> | 2003-12-13 01:22:09 +0000 |
|---|---|---|
| committer | Pav Lucistnik <pav@FreeBSD.org> | 2003-12-13 01:22:09 +0000 |
| commit | 2ea5de4d680ab90136ef22e19ab46398b8e58c7e (patch) | |
| tree | 79879843bdcdb7af48ade64f1cbbe46bead02b5d /databases/postgresql_autodoc | |
| parent | Add new port of glean, a suite of OpenGL conformance tests. Very useful for (diff) | |
Add The SMV (Symbolic Model Verifier), a tool for
checking finite state systems against specifications
the temporal logic CTL (Computational Tree Logic).
PR: ports/59429
Submitted by: Marc van Woerkom <marc.vanwoerkom@fernuni-hagen.de>
Notes
Notes:
svn path=/head/; revision=95707
Diffstat (limited to 'databases/postgresql_autodoc')
0 files changed, 0 insertions, 0 deletions