Verification and validation (V&V) are the primary means to assess accuracy and reliability in
computational simulations. This paper presents an extensive review of the literature in V&V …

Formal methods use mathematical models for analysis and verification at any part of the
program life-cycle. We describe the state of the art in the industrial use of formal methods …

A comprehensive introduction to the foundations of model checking, a fully automated
technique for finding flaws in hardware and software; with extensive examples and both …

" This book is a comprehensive text for the design of safety critical, hard real-time embedded
systems. It offers a splendid example for the balanced, integrated treatment of systems and …

Developers of computer codes, analysts who use the codes, and decision makers who rely
on the results of the analyses face a critical question: How should confidence in modeling …

The time-triggered architecture (TTA) provides a computing infrastructure for the design and
implementation of dependable distributed embedded systems. A large real-time application …

When you think about how far and fast computer science has progressed in recent years, it's
not hard to conclude that a seven-year old handbook may fall a little short of the kind of …

Formal methods are mathematically based techniques for the rigorous development of
software-intensive systems. The railway signaling domain is a field in which formal methods …

Organised to celebrate the 25th anniversary of the FMICS international conference, the
present survey addresses 30 questions on the past, present, and future of formal methods in …

This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical
systems, with examples drawn from embedded controls, real-time and concurrent …