E-Books durchsuchen
Formal Methods: Foundations and Applications [2012]
- 1
-
The Versatile Synchronous Observer
- 2
-
Thirteen Years of Automated Code Analysis at Microsoft
- 3
-
Model Checking Propositional Deontic Temporal Logic via a <Emphasis Type="Italic">μ</Emphasis>-Calculus Characterization
- 19
-
An Approach Using the B Method to Formal Verification of PLC Programs in an Industrial Setting
- 35
-
Palytoxin Inhibits the Sodium-Potassium Pump – An Investigation of an Electrophysiological Model Using Probabilistic Model Checking
- 51
-
BETA: A B Based Testing Approach
- 67
-
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
- 83
-
Specification Patterns for Properties over Reachable States of Graph Grammars
- 99
-
Compositionality and Refinement in Model-Driven Engineering
- 115
-
Identifying Hardware Failures Systematically
- 131
-
Investigating Time Properties of Interrupt-Driven Programs
- 147
-
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows
- 163
-
Composition of Model Transformations: A Categorical Framework
- 179
-
Verification Rules for Exception Handling in Eiffel
- 194
-
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications
- 210
-
Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions