Peter Teoh Mon, 02 Feb 2009 07:52:26 -0800
The Model Checker S The Spin Model Checker: Primer and Reference Manual Formal Verification of Ad-Hoc Routing Protocols Using SPIN Model ... Promela and the SPIN Model Checker Brief Announcement: Model Checking Transactional Memory with Spin The Model Checker S The Spin Model Checker : Part I Spin Model Checker : Part I The ... The Spin Model Checker : Part II Spin Model Checker : Part II The ... Verifying Compiler Based Refinement of Bluespec Specifications ... A Soundness Verification Tool Based on the SPIN Model Checker for ... Model-checking of a Multi-threaded Operating System Model Checking Linux�s Virtual File System E:/eth/2008 HS/thesis/aba2nba/proposal/main.dvi Model Checking Agent Dialogues Model Checking Programs Experience Applying the SPIN Model Checker to an Industrial ... Using Model Checking with Symbolic Execution for the Verification ... Introduction to the Model Checker Spin 1 Model Checking with Spin MMC: the Mono Model Checker New Challenges in Model Checking Model Checking Dynamic and Hierarchical UML State Machines CheckVML: A Tool for Model Checking Visual Modeling Languages Tutorial on Model Checking Modelling and Verification in Computer ... Model Checking Bluespec Specified Hardware Designs Model Checking Lab - Preliminary discussion Real-Time Model Checking is Really Simple Scalable Software Model Checking Using Design for Verification Model Checking CoreASM Specifications Truly On-The-Fly LTL Model Checking Model Checking Rebeca Code by SMV Model Checking (Part 4) Runtime Model Checking of Multithreaded C Programs using Automated ... Model-checking of a Multi-threaded Operating System RESY: Requirement Synthesis for Compositional Model Checking Random Testing and Model Checking: Building a Common Framework for ... MCK: Model Checking the Logic of Knowledge AUTOMATIC SYMMETRY DETECTION TECHNIQUES FOR MODEL CHECKING Model Checking Programmable Router Configurations Model-Checking Verification for Reliable Web Service Partial Order Reduction Assisted Parallel Model-Checking Model Checking and Code Generation for UML State Machines and ... DiVinE Multi-Core � A Parallel LTL Model-Checker Model checking in IPv6 Hardware Router Design Verifying Commit-Atomicity using Model-Checking On the fly model checking of communicating UML State Machines Using the extensible model checker XTL to verify StAC Business ... Model Checking the Java Metalocking Algorithm
