Implementing mathematics with the Nuprl proof development system
Implementing mathematics with the Nuprl proof development system
ANNA: a language for annotating Ada programs
ANNA: a language for annotating Ada programs
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Proceedings of the 8th International Conference on Computer Aided Verification
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Integration in PVS: Tables, Types, and Model Checking
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
PVS: Combining Specification, Proof Checking, and Model Checking
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Automated Deduction and Formal Methods
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |