NIAcls
NIA LaTeX class for LaTeX 2e.
Packages for Verification Survival in PVS
Interval:
A package for interval analysis in PVS.- Besc:
A Basic Explicit Safety Checker in PVS.
- ProofLite: Literate Proving in PVS.
- PVSio: A PVS prelude library extension for basic I/O functionality in the PVS Ground Evaluator.
- Field: A PVS strategy for the field of real numbers.
- PBS: A PVS B-Method support.
KB3D
Conflict Detection and Resolution Algorithm in a 3-D Airspace.