The following pages link to PVS (Q16016):
Displaying 50 items.
- QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge (Q5195275) (← links)
- A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision. (Q5195289) (← links)
- Proof Assistant Decision Procedures for Formalizing Origami (Q5200107) (← links)
- (Q5219926) (← links)
- A practical integration of first-order reasoning and decision procedures (Q5234694) (← links)
- Hybrid interactive theorem proving using nuprl and HOL (Q5234717) (← links)
- Proof tactics for a theory of state machines in a graphical environment (Q5234719) (← links)
- Formalizing bialgebraic semantics in PVS 6.0 (Q5240186) (← links)
- New results on rewrite-based satisfiability procedures (Q5277822) (← links)
- (Q5282959) (← links)
- Data Refinement (Q5302139) (← links)
- Verification: Theory and Practice (Q5305639) (← links)
- Automated Reasoning (Q5307060) (← links)
- Automated Reasoning (Q5307066) (← links)
- Automated Reasoning (Q5307074) (← links)
- Numerical Software with Result Verification (Q5308359) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308423) (← links)
- (Q5309035) (← links)
- Computer Aided Verification (Q5312918) (← links)
- Computer Aided Verification (Q5312931) (← links)
- Computer Aided Verification (Q5312932) (← links)
- Computer Aided Verification (Q5312938) (← links)
- Algebraic Methodology and Software Technology (Q5312973) (← links)
- Algebraic Methodology and Software Technology (Q5312977) (← links)
- Algebraic Methodology and Software Technology (Q5312984) (← links)
- Algebraic Methodology and Software Technology (Q5313010) (← links)
- Mathematical Knowledge Management (Q5313060) (← links)
- Fundamental Approaches to Software Engineering (Q5316439) (← links)
- Programming Languages and Systems (Q5316573) (← links)
- Automating Theorem Proving with SMT (Q5327333) (← links)
- A Parallelized Theorem Prover for a Logic with Parallel Execution (Q5327362) (← links)
- Square Root and Division Elimination in PVS (Q5327364) (← links)
- (Q5357221) (← links)
- Beginner's luck: a language for property-based generators (Q5370850) (← links)
- Zap: Automated Theorem Proving for Software Analysis (Q5387827) (← links)
- Sequential, Parallel, and Quantified Updates of First-Order Structures (Q5387908) (← links)
- Automated Technology for Verification and Analysis (Q5394196) (← links)
- Automated Deduction – CADE-20 (Q5394619) (← links)
- A logical framework combining model and proof theory (Q5400853) (← links)
- Experimenting Formal Proofs of Petri Nets Refinements (Q5403468) (← links)
- (Q5424313) (← links)
- Fundamental Approaches to Software Engineering (Q5428882) (← links)
- KI 2004: Advances in Artificial Intelligence (Q5450782) (← links)
- All You Need Is Compassion (Q5452720) (← links)
- (Q5457270) (← links)
- (Q5457276) (← links)
- Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs (Q5458792) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464482) (← links)
- Theorem Proving in Higher Order Logics (Q5464653) (← links)
- A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications (Q5477457) (← links)
