FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Early Prototyping of Wireless Sensor Network Algorithms in PVS
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
A formally verified prover for the ALC description logic
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
Formally Verified Tableau-Based Reasoners for a Description Logic
Journal of Automated Reasoning
Hi-index | 0.00 |
This paper documents the NASA Langley PVS graph theory library. The library provides fundamental definitions for graphs, subgraphs, walks, paths, subgraphs generated by walks, trees, cycles, degree, separating sets, and four notions of connectedness. Theorems provided include Ramsey''s and Menger''s and the equivalence of all four notions of connectedness.