Directed Model Checking for B: An Evaluation and New Techniques |

Directed Model Checking for B: An Evaluation and New Techniques |

Directed Model Checking for B: An Evaluation and New Techniques |

Directed Model Checking for B: An Evaluation and New Techniques |

Directed Model Checking for B: An Evaluation and New Techniques |

Directed Model Checking for B: An Evaluation and New Techniques |

Directed Model Checking for B: An Evaluation and New Techniques |

Directed Model Checking for B: An Evaluation and New Techniques |

Directed Model Checking for B: An Evaluation and New Techniques |

Directed Model Checking for B: An Evaluation and New Techniques |

Directed Model Checking for B: An Evaluation and New Techniques |

Directed Model Checking for B: An Evaluation and New Techniques |

Directed Model Checking for B: An Evaluation and New Techniques |

Directed Model Checking for B: An Evaluation and New Techniques |

Directed Model Checking for B: An Evaluation and New Techniques |

Directed Model Checking for B: An Evaluation and New Techniques |

Midlet Navigation Graphs in JML |

Midlet Navigation Graphs in JML |

Midlet Navigation Graphs in JML |

Midlet Navigation Graphs in JML |

Midlet Navigation Graphs in JML |

Midlet Navigation Graphs in JML |

Midlet Navigation Graphs in JML |

Midlet Navigation Graphs in JML |

Midlet Navigation Graphs in JML |

Midlet Navigation Graphs in JML |

Midlet Navigation Graphs in JML |

Midlet Navigation Graphs in JML |

Midlet Navigation Graphs in JML |

Midlet Navigation Graphs in JML |

Midlet Navigation Graphs in JML |

Midlet Navigation Graphs in JML |

Runtime Verification for Generic Classes with CONGU2 |

Runtime Verification for Generic Classes with CONGU2 |

Runtime Verification for Generic Classes with CONGU2 |

Runtime Verification for Generic Classes with CONGU2 |

Runtime Verification for Generic Classes with CONGU2 |

Runtime Verification for Generic Classes with CONGU2 |

Runtime Verification for Generic Classes with CONGU2 |

Runtime Verification for Generic Classes with CONGU2 |

Runtime Verification for Generic Classes with CONGU2 |

Runtime Verification for Generic Classes with CONGU2 |

Runtime Verification for Generic Classes with CONGU2 |

Runtime Verification for Generic Classes with CONGU2 |

Runtime Verification for Generic Classes with CONGU2 |

Runtime Verification for Generic Classes with CONGU2 |

Runtime Verification for Generic Classes with CONGU2 |

Runtime Verification for Generic Classes with CONGU2 |

A High-Level Language for Modeling Algorithms and Their Properties |

A High-Level Language for Modeling Algorithms and Their Properties |

A High-Level Language for Modeling Algorithms and Their Properties |

A High-Level Language for Modeling Algorithms and Their Properties |

A High-Level Language for Modeling Algorithms and Their Properties |

A High-Level Language for Modeling Algorithms and Their Properties |

A High-Level Language for Modeling Algorithms and Their Properties |

A High-Level Language for Modeling Algorithms and Their Properties |

A High-Level Language for Modeling Algorithms and Their Properties |

A High-Level Language for Modeling Algorithms and Their Properties |

A High-Level Language for Modeling Algorithms and Their Properties |

A High-Level Language for Modeling Algorithms and Their Properties |

A High-Level Language for Modeling Algorithms and Their Properties |

A High-Level Language for Modeling Algorithms and Their Properties |

A High-Level Language for Modeling Algorithms and Their Properties |

A Formal Environment Model for Multi-Agent Systems |

A Formal Environment Model for Multi-Agent Systems |

A Formal Environment Model for Multi-Agent Systems |

A Formal Environment Model for Multi-Agent Systems |

A Formal Environment Model for Multi-Agent Systems |

A Formal Environment Model for Multi-Agent Systems |

A Formal Environment Model for Multi-Agent Systems |

A Formal Environment Model for Multi-Agent Systems |

A Formal Environment Model for Multi-Agent Systems |

A Formal Environment Model for Multi-Agent Systems |

A Formal Environment Model for Multi-Agent Systems |

A Formal Environment Model for Multi-Agent Systems |

A Formal Environment Model for Multi-Agent Systems |

A Formal Environment Model for Multi-Agent Systems |

A Formal Environment Model for Multi-Agent Systems |

A Formal Environment Model for Multi-Agent Systems |

A Modal Interface Theory with Data Constraints |

A Modal Interface Theory with Data Constraints |

A Modal Interface Theory with Data Constraints |

A Modal Interface Theory with Data Constraints |

A Modal Interface Theory with Data Constraints |

A Modal Interface Theory with Data Constraints |

A Modal Interface Theory with Data Constraints |

A Modal Interface Theory with Data Constraints |

A Modal Interface Theory with Data Constraints |

A Modal Interface Theory with Data Constraints |

A Modal Interface Theory with Data Constraints |

A Modal Interface Theory with Data Constraints |

A Modal Interface Theory with Data Constraints |

A Modal Interface Theory with Data Constraints |

A Modal Interface Theory with Data Constraints |

A Modal Interface Theory with Data Constraints |

Synchronizing Model and Program Refactoring |

Synchronizing Model and Program Refactoring |

Synchronizing Model and Program Refactoring |

Synchronizing Model and Program Refactoring |

Synchronizing Model and Program Refactoring |

Synchronizing Model and Program Refactoring |

Synchronizing Model and Program Refactoring |

Synchronizing Model and Program Refactoring |

Synchronizing Model and Program Refactoring |

Synchronizing Model and Program Refactoring |

Synchronizing Model and Program Refactoring |

Synchronizing Model and Program Refactoring |

Synchronizing Model and Program Refactoring |

Synchronizing Model and Program Refactoring |

Synchronizing Model and Program Refactoring |

Synchronizing Model and Program Refactoring |

A Type-Theoretic Framework for Certified Model Transformations |

A Type-Theoretic Framework for Certified Model Transformations |

A Type-Theoretic Framework for Certified Model Transformations |

A Type-Theoretic Framework for Certified Model Transformations |

A Type-Theoretic Framework for Certified Model Transformations |

A Type-Theoretic Framework for Certified Model Transformations |

A Type-Theoretic Framework for Certified Model Transformations |

A Type-Theoretic Framework for Certified Model Transformations |

A Type-Theoretic Framework for Certified Model Transformations |

A Type-Theoretic Framework for Certified Model Transformations |

A Type-Theoretic Framework for Certified Model Transformations |

A Type-Theoretic Framework for Certified Model Transformations |

A Type-Theoretic Framework for Certified Model Transformations |

A Type-Theoretic Framework for Certified Model Transformations |

A Type-Theoretic Framework for Certified Model Transformations |

A Type-Theoretic Framework for Certified Model Transformations |

Simulating Truly Concurrent CSP |

Simulating Truly Concurrent CSP |

Simulating Truly Concurrent CSP |

Simulating Truly Concurrent CSP |

Simulating Truly Concurrent CSP |

Simulating Truly Concurrent CSP |

Simulating Truly Concurrent CSP |

Simulating Truly Concurrent CSP |

Simulating Truly Concurrent CSP |

Simulating Truly Concurrent CSP |

Simulating Truly Concurrent CSP |

Simulating Truly Concurrent CSP |

Simulating Truly Concurrent CSP |

Simulating Truly Concurrent CSP |

Simulating Truly Concurrent CSP |

Simulating Truly Concurrent CSP |

Statistical Verification of Probabilistic Properties with Unbounded Until |

Statistical Verification of Probabilistic Properties with Unbounded Until |

Statistical Verification of Probabilistic Properties with Unbounded Until |

Statistical Verification of Probabilistic Properties with Unbounded Until |

Statistical Verification of Probabilistic Properties with Unbounded Until |

Statistical Verification of Probabilistic Properties with Unbounded Until |

Statistical Verification of Probabilistic Properties with Unbounded Until |

Statistical Verification of Probabilistic Properties with Unbounded Until |

Statistical Verification of Probabilistic Properties with Unbounded Until |

Statistical Verification of Probabilistic Properties with Unbounded Until |

Statistical Verification of Probabilistic Properties with Unbounded Until |

Statistical Verification of Probabilistic Properties with Unbounded Until |

Statistical Verification of Probabilistic Properties with Unbounded Until |

Statistical Verification of Probabilistic Properties with Unbounded Until |

Statistical Verification of Probabilistic Properties with Unbounded Until |

Statistical Verification of Probabilistic Properties with Unbounded Until |

Statistical Verification of Probabilistic Properties with Unbounded Until |

Reasoning about Assignments in Recursive Data Structures |

Reasoning about Assignments in Recursive Data Structures |

Reasoning about Assignments in Recursive Data Structures |

Reasoning about Assignments in Recursive Data Structures |

Reasoning about Assignments in Recursive Data Structures |

Reasoning about Assignments in Recursive Data Structures |

Reasoning about Assignments in Recursive Data Structures |

Reasoning about Assignments in Recursive Data Structures |

Reasoning about Assignments in Recursive Data Structures |

Reasoning about Assignments in Recursive Data Structures |

Reasoning about Assignments in Recursive Data Structures |

Reasoning about Assignments in Recursive Data Structures |

Reasoning about Assignments in Recursive Data Structures |

Reasoning about Assignments in Recursive Data Structures |

Reasoning about Assignments in Recursive Data Structures |

Reasoning about Assignments in Recursive Data Structures |

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned |

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned |

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned |

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned |

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned |

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned |

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned |

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned |

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned |

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned |

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned |

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned |

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned |

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned |

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned |

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned |

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned |

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence |

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence |

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence |

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence |

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence |

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence |

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence |

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence |

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence |

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence |

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence |

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence |

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence |

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence |

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence |

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence |

Formal Development of a Cardiac Pacemaker: From Specification to Code |

Formal Development of a Cardiac Pacemaker: From Specification to Code |

Formal Development of a Cardiac Pacemaker: From Specification to Code |

Formal Development of a Cardiac Pacemaker: From Specification to Code |

Formal Development of a Cardiac Pacemaker: From Specification to Code |

Formal Development of a Cardiac Pacemaker: From Specification to Code |

Formal Development of a Cardiac Pacemaker: From Specification to Code |

Formal Development of a Cardiac Pacemaker: From Specification to Code |

Formal Development of a Cardiac Pacemaker: From Specification to Code |

Formal Development of a Cardiac Pacemaker: From Specification to Code |

Formal Development of a Cardiac Pacemaker: From Specification to Code |

Formal Development of a Cardiac Pacemaker: From Specification to Code |

Formal Development of a Cardiac Pacemaker: From Specification to Code |

Formal Development of a Cardiac Pacemaker: From Specification to Code |

Formal Development of a Cardiac Pacemaker: From Specification to Code |

Formal Development of a Cardiac Pacemaker: From Specification to Code |

A Decision Procedure for Bisimilarity of Generalized Regular Expressions |

A Decision Procedure for Bisimilarity of Generalized Regular Expressions |

A Decision Procedure for Bisimilarity of Generalized Regular Expressions |

A Decision Procedure for Bisimilarity of Generalized Regular Expressions |

A Decision Procedure for Bisimilarity of Generalized Regular Expressions |

A Decision Procedure for Bisimilarity of Generalized Regular Expressions |

A Decision Procedure for Bisimilarity of Generalized Regular Expressions |

A Decision Procedure for Bisimilarity of Generalized Regular Expressions |

A Decision Procedure for Bisimilarity of Generalized Regular Expressions |

A Decision Procedure for Bisimilarity of Generalized Regular Expressions |

A Decision Procedure for Bisimilarity of Generalized Regular Expressions |

A Decision Procedure for Bisimilarity of Generalized Regular Expressions |

A Decision Procedure for Bisimilarity of Generalized Regular Expressions |

A Decision Procedure for Bisimilarity of Generalized Regular Expressions |

A Decision Procedure for Bisimilarity of Generalized Regular Expressions |

A Decision Procedure for Bisimilarity of Generalized Regular Expressions |

Normalization of Linear Horn Clauses |

Normalization of Linear Horn Clauses |

Normalization of Linear Horn Clauses |

Normalization of Linear Horn Clauses |

Normalization of Linear Horn Clauses |

Normalization of Linear Horn Clauses |

Normalization of Linear Horn Clauses |

Normalization of Linear Horn Clauses |

Normalization of Linear Horn Clauses |

Normalization of Linear Horn Clauses |

Normalization of Linear Horn Clauses |

Normalization of Linear Horn Clauses |

Normalization of Linear Horn Clauses |

Normalization of Linear Horn Clauses |

Normalization of Linear Horn Clauses |

Normalization of Linear Horn Clauses |

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs |

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs |

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs |

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs |

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs |

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs |

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs |

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs |

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs |

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs |

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs |

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs |

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs |

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs |

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs |

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs |

Automating Refinement of Circus Programs |

Automating Refinement of Circus Programs |

Automating Refinement of Circus Programs |

Automating Refinement of Circus Programs |

Automating Refinement of Circus Programs |

Automating Refinement of Circus Programs |

Automating Refinement of Circus Programs |

Automating Refinement of Circus Programs |

Automating Refinement of Circus Programs |

Automating Refinement of Circus Programs |

Automating Refinement of Circus Programs |

Automating Refinement of Circus Programs |

Automating Refinement of Circus Programs |

Automating Refinement of Circus Programs |

Automating Refinement of Circus Programs |

Automating Refinement of Circus Programs |

Automating Refinement of Circus Programs |