188
click to vote
IFM
14 years 11 months ago
2010 Springer 
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
121
click to vote
IFM
14 years 12 months ago
2010 Springer 
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
115
click to vote
IFM
14 years 12 months ago
2010 Springer 
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
132
click to vote
IFM
14 years 12 months ago
2010 Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
186
click to vote
IFM
14 years 11 months ago
2010 Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
|
Formal Methods