116
click to vote
FM
15 years 7 months ago
2009 Springer 
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
131
Voted
FM
14 years 10 months ago
2009 Springer 
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
FM
15 years 7 months ago
2009 Springer 
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
116
Voted
FM
15 years 4 months ago
2009 Springer 
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
115
click to vote
FM
15 years 7 months ago
2009 Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
|
Formal Methods