Formal Methods: Foundations and Applications

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