Sciweavers

Share
11 search results - page 1 / 3
» fmics 2009
Sort
View
FMICS
2009
Springer
10 years 6 months ago
Visualising Event-B Models with B-Motion Studio
Lukas Ladenberger, Jens Bendisposto, Michael Leusc...
FMICS
2009
Springer
10 years 6 months ago
Model-Based Testing of Electronic Passports
Wojciech Mostowski, Erik Poll, Julien Schmaltz, Ja...
FMICS
2009
Springer
10 years 6 months ago
Preemption Abstraction
Erik Schierboom, Alejandro Tamalet, Hendrik Tews, ...
FMICS
2009
Springer
10 years 6 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
10 years 6 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
books