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
Feedback