Searching for "A Brief Overview of PVS." – sorted by Relevance.
-
A Brief Overview of the PVS User Interface
- . Both can be found at the ENTCS Macro Home Page. Abstract A Brief Overview of the PVS User Interface Sam
- Add To MetaCart
-
A Brief Overview of the PVS User Interface
- . Both can be found at the ENTCS Macro Home Page. A Brief Overview of the PVS User Interface Sam Owre1
- Add To MetaCart
-
Formal Verification and Empirical Analysis of Rollback Relaxation
- . Section 3 describes the rollback relaxation algorithm. Section 4 provides a brief overview of PVS. Section
- Cited by 4 (1 self) – Add To MetaCart
-
Random testing in PVS
- with some plans for the future. 2 A Brief Description of PVS PVS (Prototype Verification System) is based
- Cited by 2 (1 self) – Add To MetaCart
-
Formalizing Fixed-Point Theory in PVS
- closely related with ours, we give a brief overview in Section 2 on the PVS system and some of its
- Cited by 3 (0 self) – Add To MetaCart
-
Mechanized Semantics of Simple Imperative Programming Constructs
- Imperative Programming Constructs 2. A brief description of PVS This section gives a brief overview of PVS
- Cited by 2 (2 self) – Add To MetaCart
-
Formal Verification of Transformations for Peephole Optimization
- : in the following we give an overview of related work. Then a brief description of the PVS system is provided
- Cited by 3 (1 self) – Add To MetaCart
-
Generic Compilation Schemes for Simple Programming Constructs
- related to our approach. Then a brief description of the PVS system is given. Section 2 presents the basic
- Cited by 1 (1 self) – Add To MetaCart
-
Formal Analysis for Dependability Properties: the Time-Triggered Architecture Example
- [12]. The remainder of the paper is organized as follows: after giving a brief overview of PVS
- Cited by 2 (0 self) – Add To MetaCart
-
Effective Theorem Proving for Hardware Verification
- by pursuing the line of development indicated in this paper. The next section gives a brief overview of PVS
- Cited by 37 (6 self) – Add To MetaCart

