Sciweavers

11 search results - page 1 / 3
» fmics 2009
Sort
View
FMICS
2009
Springer
13 years 10 months ago
Visualising Event-B Models with B-Motion Studio
Lukas Ladenberger, Jens Bendisposto, Michael Leusc...
FMICS
2009
Springer
13 years 10 months ago
Model-Based Testing of Electronic Passports
Wojciech Mostowski, Erik Poll, Julien Schmaltz, Ja...
FMICS
2009
Springer
13 years 10 months ago
Preemption Abstraction
Erik Schierboom, Alejandro Tamalet, Hendrik Tews, ...
FMICS
2009
Springer
13 years 10 months ago
Attacking Large Industrial Code with Bi-abductive Inference
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
Dino Distefano
FMICS
2009
Springer
13 years 10 months ago
Dynamic State Space Partitioning for External Memory Model Checking
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checki...
Sami Evangelista, Lars Michael Kristensen