Brinksma, H.

Ruys, T.C.

English

Brinksma, Hendrik

NARCIS 

Model Checking: Verification or Debugging?

Model checking tools are increasingly being used for the validation of real-life systems in an industrial context. This paper discusses two validation approaches with respect to the application of model checkers. The verification approach tries to ascertain the correctness of a formal model of a system, whereas the debugging approach tries to find errors in the model. This paper discusses the differences between the two complementing approaches and shows for each approach its advantages and disadvantages

Ruys, Theo C.

Brinksma, Ed

University of Twente Research Information

Model Checking:Verification or Debugging?

An Analysis of Bitstate Hashing. Formal Methods

Design and Validation of Computer Protocols.

Designing Bug-free Protocols with SPIN.

Experience with Literate Programming in the Modelling and Validation of Systems.

Have I Written Enough Properties?” - A Method of Comparison between Speciﬁcation and Implementation.

Java Programs using Java PathFinder.

Literate Programming.

Model Checking and Abstraction.

Model Checking for Programming Languages using VeriSoft.

Modularization and Abstraction: The Keys to Practical Formal Veriﬁcation.

Orna Grumberg, and Doron Peled. Model Checking.

Patterns in Property Speciﬁcations for Finite-State Veriﬁcation.

Protocol Veriﬁcation Made Simple: a Tutorial. Computer Networks a n dI

Software Engineering – A Practioner’s Approach.

Software Model Checking: Extracting Veriﬁcation Models from Source Code.

The Model Checker SPIN.

Tretmans. The Bounded Retransmission Protocol must be on time!

UPPAAL in a Nutshell.

Validation of Bosch’ Mobile Communication Network Architecture with SPIN.

Model Checking: Verification or Debugging?

Abstract

Similar works

Full text

Available Versions

NARCIS

University of Twente Research Information

NARCIS