207
click to vote
IFM
15 years 1 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...
141
click to vote
IFM
15 years 1 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...
134
Voted
IFM
15 years 1 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 ...
146
click to vote
IFM
15 years 1 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 ...
202
click to vote
IFM
15 years 1 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