A foundational text that offers a rigorous introduction to the principles of design,
specification, modeling, and analysis of cyber-physical systems. A cyber-physical system …

In formal verification, a designer first constructs a model, with mathematically precise
semantics, of the system under design, and performs extensive analysis with respect to …

A decade of software model checking with SLAM Page 1 68 CoMMunICATIonS oF ThE ACM |
july 2011 | vol. 54 | no. 7 contributed articles LArGe-sCALe sOFtWAre DeVeLOpment is a …

Abstract Model checking is a computer-assisted method for the analysis of dynamical
systems that can be modeled by state-transition systems. Drawing from research traditions in …

Equivalence checking is a formal verification approach that consists in proving that two
programs or models are related modulo some equivalence relation, or that one is included …

While modeling trust in multi-agent systems provides a fundamental basis for promoting safe
interactions and imitating agents reasoning mechanisms, exploiting model checking …

We introduce the problem of Model Repair for Probabilistic Systems as follows. Given a
probabilistic system M and a probabilistic temporal logic formula φ such that M fails to satisfy …

Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents
practical approaches for design and validation, with hands-on advice to help working …

Motivation Scientists increasingly rely on intelligent information systems to help them in their
daily tasks, in particular for managing research objects, like publications or datasets. The …

In today's world of connectivity, various domains use different multi-sensor Internet of Things
(IoT) and Intelligent Systems (IS) applications. These applications involve extensive …