Searching for "Formal Program Verification." – sorted by Relevance.
49 documents found, showing 1 through 10.
Next 10 →
-
On the Use of Interactive Proofs for Formal Program Verification
- …On the use of interactive proofs for formal program verification Uri Feige and Kobbi Nissim y…
- Cited by 1 (0 self) – Add To MetaCart
-
A Formally Verified Sorting Certifier
- …: Sorting; formal program verification; software correctness; certification trails; program result checking…
- Cited by 4 (1 self) – Add To MetaCart
-
An Automata Theoretic Approach to Temporal Logic
- … for program verification [1] as well as hardware specification and verification [2, 3]. The theory of finite…
- Cited by 4 (0 self) – Add To MetaCart
-
Checking and Certifying Computational Results
- … of using certifiers in conjunction with formal program verification techniques. This work forms a thesis…
- Cited by 1 (0 self) – Add To MetaCart
-
Efficient Mining of Recurrent Rules from a Sequence Database
- … linear temporal logic (LTL) – a widely used formalism in program verification [7]. By mapping rules…
- Cited by 1 (1 self) – Add To MetaCart
-
The Correctness of the PACLIB Kernel - A Case Study in Parallel Program Verification by Temporal
- … verification rather difficult. There exist several calculi for the formal verification of parallel programs e…
- Cited by 1 (1 self) – Add To MetaCart
-
Abstract interpretation based formal methods and future challenges
- … low coverage of dynamic program behavior. Formal program verification methods attempt to mechanically…
- Cited by 15 (4 self) – Add To MetaCart
-
Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor
- … proofs. Key words Automated reasoning, Nqthm, Boyer-Moore Theorem Prover, formal program verification…
- Cited by 30 (2 self) – Add To MetaCart
-
Engineering a Security Kernel for MULTICS
- … to perform. Available formal program verification techniques are overwhelmed and even verification by manual…
- Cited by 15 (0 self) – Add To MetaCart
-
FORMAL SPECIFICATION INTRODUCTION TO FORMAL SPECIFICATION
- … principles in this article, but also verification principles in the related article ‘‘Formal Program…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
