Abstract datatypes in PVS

von Shankar, Natarajan
Veröffentlicht 1993

Metamathematics, machines and Gödel's proof

von Shankar, Natarajan
Veröffentlicht 1994

A lazy approach to compositional verification

von Shankar, Natarajan
Veröffentlicht 1993

Metamathematics, machines and Gödel's proof

von Shankar, Natarajan
Veröffentlicht 1994

Modern corporate risk management : a blueprint for positive change and effectiveness

von Kumar, Sandeep
Veröffentlicht 2009

A duration calculus proof checker : using PVS as a semantic framework

von Skakkebaek, Jens U.
Veröffentlicht 1993

The Correctness of a Code Generator for a Functional Language

von Courant, Nathanaël
Veröffentlicht in VMCAI (21. : 2020 : New Orleans, La.) Verification, model checking, and abstract interpretation (2020)

Model-Centered Assurance for Autonomous Systems

von Jha, Susmit
Veröffentlicht in SAFECOMP (39. : 2020 : Lissabon; Online) Computer safety, reliability, and security (2020)

Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings

Veröffentlicht 2008

Mechanical verification of a schematic Byzantine clock synchronization algorithm

von Shankar, Natarajan
Veröffentlicht 1991

Requirements-Driven Model Checking and Test Generation for Comprehensive Verification

von Bhatt, Devesh
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)