Вы здесь

Главная

Trykkeriet

Связанные издания:

A Combined Approach to Hardware Verification: Proof-Checking, Rewriting with Decision Procedures and Model-Checking. Part II: Articles
A Combined Approach to Hardware Verification: Proof-Checking, Rewriting with Decision Procedures and Model-Checking. Part I: Slides
A User Guide to HyTech
Automatic Verification of Real-Time and Hybrid Systems
On-the-Fly Model Checking Tutorial
Some Research Issues in Higher Order Logic Theorem Proving
Symbol Model Checking
Verification Based on Monadic Logic
What we Learn from Formal Checking. Part I. How to Believe a Machine-Checked Proof
What we Learn from Formal Checking. Part III. Formalization is Not Just Filling In Details
What we Learn from Formal Checking. Part II. Using Type Theory: An Introduction