29 treff

computer software verification
Software verification and validation for practitioners and managers
Steven R. Rakitin
Bok Engelsk 2001 · Vis mer
Software validation : inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983
Symposium on Software Validation
Bok Språk ikke angitt 1984 · Vis mer
Co-verification of hardware and software for ARM SoC design
by Jason R. Andrews
Bok Engelsk 2005 · Vis mer
Verification of sequential and concurrent programs
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Bok Engelsk 1991 · Vis mer
Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers
René Alt ... [et al.] (eds.)
Bok Engelsk 2004 · Vis mer
SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings
International SPIN Workshop
Bok Engelsk 2000 · Vis mer
Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings
CAV '92
Bok Engelsk 1993 · Vis mer
Systems and software verification : model-checking techniques and tools /
B. Bérard ... [et al.].
Bok Engelsk · Vis mer
Toward zero-defect programming
Allan M. Stavely
Bok Engelsk 1999 · Vis mer
Verification and validation in scientific computing
Oberkampf, William L
Bok Engelsk 2010 · Vis mer
Principles of model checking
Christel Baier, Joost-Pieter Katoen
Bok Engelsk 2008 · Vis mer
Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
Nachum Dershowitz (ed.)
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Concurrency verification : introduction to compositional and noncompositional methods
Willem-Paul de Roever ... [et al.]
Bok Engelsk 2001 · Vis mer
Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
Müller-Olm, Markus
Bok Engelsk 1997 · Vis mer
Automatic verification of sequential infinite-state processes
Olaf Burkart
Bok Engelsk 1997 · Vis mer
Software Testing Foundations : A Study Guide for the Certified Tester Exam
Spillner, Andreas.
Bok Engelsk 2011 · Vis mer
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
International SPIN Workshop
Bok Engelsk 2001 · Vis mer
Hearings on the reauthorization of the Higher Education Act of 1965 : Title IX, trio and state student incentive grants, and campus-based programs : hearings before the Subcommittee on Postsecondary Education of the Committee on Education and Labor, House of Representatives, One Hundred Second Congress, first session, hearings held in Washington, DC, June 13, 18, and 26, 1991.
United States.
Bok Engelsk · Vis mer
Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
International SPIN Workshop
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
International SPIN Workshop
Bok Engelsk 2002 · Vis mer
Formal verification of hardware design
edited by Michael Yoeli
Bok Engelsk 1990 · Vis mer
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
Godefroid, Patrice
Bok Engelsk 1996 · Vis mer
Temporal verification of reactive systems. 2. Safety
Manna, Zohar
Bok Engelsk 1995 · Vis mer
Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism
Josyula Ramachandra Rao
Bok Engelsk 1995 · Vis mer
Program verification : fundamental issues in computer science
edited by Timothy R. Colburn, James H. Fe...
Bok Engelsk 1993 · Vis mer
Verification and validation for quality of UML 2.0 models
Bhuvan Unhelkar
Bok Engelsk 2005 · Vis mer
Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
International SPIN Workshop
Bok Engelsk 1999 · Vis mer
Verification and validation of rule-based expert systems
Suzanne Smith, Abraham Kandel
Bok Engelsk 1993 · Vis mer
Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers
TGC 2005
Bok Engelsk 2005 · Vis mer