198
Voted
IFM
15 years 4 days 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...
133
Voted
IFM
15 years 22 days 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...
122
click to vote
IFM
15 years 22 days 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 ...
138
click to vote
IFM
15 years 22 days 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 ...
192
click to vote
IFM
15 years 4 days 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