The spin model checker : primer and reference manual /

The spin model checker : primer and reference manual /

06

Bibliographic Details
Main Author:	455693 Holzmann, Gerard J.
Format:
Language:	eng
Published:	Boston : Addison-Wesley Professional, 2004
Subjects:	Systems engineering Computer programs

Similar Items

Principles of the spin model checker /
by: 288973 Ben-Ari, Mordechai
Published: (2008)

Design and validation of computer protocols /
by: 455693 Holzmann, Gerard J.
Published: (1991)

The annotated C++ reference manual /
by: 342450 Ellis, Margaret A., et al.
Published: (1990)

C : a reference manual /
by: 194310 Harbison, Samuel P., et al.
Published: (2002)

Lotus 1,2,3 : reference manual
Published: ([19-)

Appleworks : reference manual
Published: (1983)

C : a reference manual /
by: Harrison, Samuel P, et al.
Published: (1991)

A fortran reference manual /
by: Ridler, Philip F
Published: (1979)

C : a reference manual /
by: 456356 Harbinson, Samuel P., et al.
Published: (1987)

The Z notation : a reference manual /
by: 201842 Spivey, J. M.
Published: (1989)

Pascal/VS language reference manual
Published: (1981)

The programmer's ANSI COBOL reference manual /
by: 237853 Sordillo, Donald A.
Published: (1978)

The programming language : ADA reference manual
Published: (1981)

Beyond photography : the digital darkroom/
by: 455693 Holzmann, Gerard J.
Published: (1988)

Symap user's reference manual /
by: 286054 Dougenik, James A., et al.
Published: (1975)

Distributed MAP in the SpinJa Model Checker
by: Stefan Vijzelaar, et al.
Published: (2011-10-01)

IBM PC user's reference manual /
by: Held, Gilbert, 1943-
Published: (1984)

Applesoft basic programmer's reference manual /
Published: (1983)

The annotated VRML 2.0 reference manual /
by: 402708 Carey, Rikk, et al.
Published: (1997)

The personal computer Basic(S) reference manual /
by: 237853 Sordillo, Donald A.
Published: (1983)

Turbo pascal version 3.0 : reference manual
Published: (n d])

Supercalc primer /
by: 363131 Waite, Mitchell, et al.
Published: (1983)

Amiga Intuition reference manual /
by: 284018 Mical, Robert J.
Published: (1986)

Inference binary search algorithm for blind timing-based attack in MYSQL injector vulnerability checker tool /
by: Abdilahi Deria Liban, 1982-, et al.
Published: (2012)

Stress: a reference manual: a problem-oriented computer language for structural engineering
by: Logcher, Robert D., et al.
Published: (1965)

Apple II instant Pascal language reference manual
Published: (1985)

The annotated VRML 2.0 reference manual / [cakera padat]
by: 402708 Carey, Rikk, et al.
Published: (1997)

Smartwork : reference manual
Published: (19--)

Implementation of a design rule checker for silicon wafer fabrication
by: Unver, Evren R. (Evren Rifki)
Published: (2007)

Open inventor C++ reference manual : the official reference document for open inventor, release 2 /
by: Open Inventor Architecture Group
Published: (1994)

Inference binary search algorithm for blind timing-based attack in MYSQL injector vulnerability checker tool [electronic resource] /
by: Abdilahi Deria Liban, 1982-
Published: (2012)

ECO Smart Result Checker
by: Foo, Fong Yeng, et al.
Published: (2020)

The early history of data networks /
by: 455693 Holzmann, Gerard J., et al.
Published: (1995)

Verifying Maze-Like Game Levels With Model Checker SPIN
by: Onur Tekik, et al.
Published: (2022-01-01)

IBM PC & PC XT user's reference manual /
by: Held, Gilbert, 1943-
Published: (1987)

Wire layout checker
by: Raja Ravi
Published: (2008)

Apple Image Writer II technical reference manual
Published: (1986)

Turbo Prolog primer /
by: 278487 Shafer, Dan
Published: (1986)

VP_TT: A value propagation based equivalence checker for testability transformations
by: Ramanuj Chouksey, et al.
Published: (2021-02-01)

Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
by: Igor Konnov, et al.
Published: (2023-01-01)