Cover Image

Model checking /

Main Author:	Clarke, E. M., 1945-
Other Authors:	Grumberg, Orna.
Format:	Book
Language:	English
Published:	Cambridge, Mass. : MIT Press, ©1999.
Subjects:	Computer systems > Verification. COMPUTERS > Software Development & Engineering > Systems Analysis & Design. Computersystemen. Modellen (theorie)
Online Access:	http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=27235

Similar Items

Principles of model checking /
by: Baier, Christel
Published: (2008)

Principles of model checking /
by: Baier, Christel.
Published: (2008)

Model checking /
by: Clarke, E. M., 1945-
Published: (1999)

Model checking/
by: Clarke, Edmund M., 1945-
Published: (1999)

Model checking /
by: Clarke, E. M., 1945-
Published: (1999)

Systems and software verification: model-checking techniques and tools/
by: Berard, Beatrice.
Published: (2001)

Dependable software systems engineering /

Engineering dependable software systems /

Principles of model checking /
by: Baier, Christel.
Published: (2008)

Principles of the Spin model checker/
by: Ben-Ari, M., 1948-
Published: (2008)

Hypertext : theory into practice /
Published: (1999)

Grid computing : the savvy manager's guide /
by: Plaszczak, Pawel.
Published: (2006)

The grid : blueprint for a new computing infrastructure /
Published: (2004)

Beyond programming : to a new era of design /
by: Blum, Bruce I.
Published: (1996)

Mechanizing proof : computing, risk, and trust /
by: MacKenzie, Donald A.
Published: (2001)

Co-verification of hardware and software for ARM SoC design /
by: Andrews, Jason R.
Published: (2005)

Software verification and analysis : an integrated, hands-on approach /
by: Łaski, Janusz
Published: (2009)

Verification of sequential and concurrent programs /
by: Apt, Krzysztof R., 1949-
Published: (1997)

Program verification /
by: Francez, Nissim.
Published: (1992)

Software safety and security tools for analysis and verification /
Published: (2012)

Robot framework test automation /
by: Bisht, Sumit.

The software audit guide /
by: Helgeson, John W., 1945-

Requirements engineering: a good practice guide/
by: Sommerville, Ian, 1951-
Published: (1999)

Developing user interfaces : ensuring usability through product & process /
by: Hix, Deborah, 1950-
Published: (1993)

Applications of formal methods /
Published: (1995)

Information modelling and knowledge bases XVIII /
Published: (2007)

Requirements engineering :a good practice guide /
by: Sommerville, Ian, 1951-
Published: (1997)

Metamodeling-driven IP reuse for SoC integration and microprocessor design
by: Mathaikutty, Deepak A.
Published: (2009)

Software verification and validation for practitioners and managers /
by: Rakitin, Steven R.
Published: (2001)

Cooperative systems design : seamless integration of artifacts and conversations - enhanced concepts of infrastructure for communication /
Published: (2006)

Molecular computing /
Published: (2003)

Temporal verification of reactive systems: safety/
by: Manna, Zohar
Published: (1995)

Reactive systems: modelling, specification and verification/
Published: (2007)

ISSS : 14th International Symposium on System Synthesis : Montrâeal, Canada, September 30-October 3, 2001 /
Published: (2001)

The First International Conference on Requirements Engineering= Requirements engineering : April 18-22, 1994, Colorado Springs, Colorado : proceedings/
Published: (1994)

Behavior models : specifying userʹs expectations /
by: Kowal, James A., 1947-
Published: (1992)

Behavior models: specifying users' expectations/
by: Kowal, James A., 1947-
Published: (1992)

Validation numerics : Theory and applications ; R. Albrecht, G. Alefeld, H. J. Stetter
Published: (1993)

Temporal verification of reactive systems : safety /
by: Manna, Zohar
Published: (1995)

Verification of sequential and concurrent programs/
by: Apt, Krzysztof R., 1949-
Published: (1997)

Cannot write session to /tmp/vufind_sessions/sess_i6od2seivh1gr78r4688nhrk76