Titlebook: SPIN Model Checking and Software Verification; 7th International SP Klaus Havelund,John Penix,Willem Visser Conference proceedings 2000 Spr

BLA

Conference proceedings 2000and veri?cation of asynchronous concurrent and distributed systems. The SPIN - del checker (http://netlib.bell-labs.com/netlib/spin/whatispin.html), developed by Gerard Holzmann, is one of the best known systems of this kind, and has attracted a large user community. This can likely be attributed to

机构

Linking , , , with SPINWe have connected ..., the Stanford Temporal Prover, with SPIN, an LTL model checker. In this paper we describe the translation of fair transition systems into Promela, in particular how weak and strong fairness constraints are handled. The paper presents some preliminary experimental results using this connection.

Flagging

Low-Fat Recipes for SPINSince the introduction of the first version of the model checker . in 1991, many papers have been written on improvements to the tool and on industrial applications of the tool. Less attention has been given to the pragmatic use of .. This paper presents several techniques to optimise both the modelling and verification activities when using ..

异端邪说下

Klaus Havelund,John Penix,Willem VisserIncludes supplementary material:

hidebound

Gratuitous

无动于衷

978-3-540-41030-0Springer-Verlag Berlin Heidelberg 2000

喧闹

corn732

正论