Searching for "A Brief Overview of PVS." – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
