Cover Image

Software verification and analysis : an integrated, hands-on approach /

Main Author:	Łaski, Janusz
Other Authors:	Stanley, William
Format:	Book
Language:	English
Published:	London, England : Springer, c2009.
Subjects:	Computer software > Verification

Similar Items

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

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

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

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

Software testing verification & reliability
Published: (1991)

Dependable software systems engineering /

Engineering dependable software systems /

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

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

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

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

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

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

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

The foundations of program verification/
by: Loeckx, Jacques, 1931-
Published: (1987)

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

Modular compiler verification: a refinement-algebraic approach advocating stepwise abstraction/
by: Muller - Olm, Markus
Published: (1997)

Robot framework test automation /
by: Bisht, Sumit.

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

Software inspection: an industry best practice/
by: Wheeler, David A.
Published: (1996)

Computer aided verification :10th International Conference, CAV. ʹ98, Vancouver, BC, Canada, June 28 - July 2, 1998 :proceedings /
Published: (1998)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
by: Yoeli, Michael, 1917-
Published: (2008)

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

Multicore hardware-software design and verification techniques
Published: (2011)

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

Functional verification coverage measurement and analysis/
by: Piziali, Andrew
Published: (2004)

Verification plans: the five-day verification strategy for modern hardware verification languages/
by: James, Peet
Published: (2004)

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

Professional verification a guide to advanced functional verification /
by: Wilcox, Paul, MBA.
Published: (2004)

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

Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting /
Published: (1985)

Automatic verification on finite state concurrent systemes using temporal logic specifications : a practical approach /
by: Clarke, Edmund M.
Published: (1983)

Verification, how much is enough? /
by: Krass, Allan S.
Published: (1985)

International verification organizations /
Published: (1991)

Principles of functional verification/
by: Meyer, Andreas S.
Published: (2004)

Software and systems safety specification and verification /
Published: (2011)

Advanced verification techniques : a systemC based approach for successful tapeout /
by: Singh, Leena
Published: (2004)

Advanced verification techniques: a SystemC based approach for successful tapeout/
by: Singh, Leena, 1971-
Published: (2004)

Effective functional verification: principles and processes/
by: Vasudevan, Srivatsa
Published: (2006)

Hardware verification with C++: a practitionerʹs handbook/
by: Mintz, Mike
Published: (2006)

Cannot write session to /tmp/vufind_sessions/sess_djufq9gksiutiff3r9s3hcm7p4