61 treff

programverifikasjon
Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings
International Static Analysis Symposium
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2003 : revised selected papers
TYPES 2003
Bok Engelsk 2004 · Vis mer
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
VMCAI 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings
International Static Analysis Symposium
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
International SPIN Workshop
Bok Engelsk 2001 · Vis mer
Verifiable programming
Ole-Johan Dahl
Bok Engelsk 1992 · Vis mer
Engineering theories of software intensive systems
NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems
Bok Engelsk 2005 · Vis mer
Programming languages and systems : first Asian symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings
APLAS 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
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
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 2003 · Vis mer
Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
VMCAI 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Static analysis : 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings
International Static Analysis Symposium
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Modular specification and verification of object-oriented programs
Peter Müller
Bok Engelsk 2002 · Vis mer
Process algebra and probabilistic methods : performance modeling and verification : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
PAPM-PROBMIV 2002
Bok Engelsk 2002 · Vis mer
Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
TYPES 2000
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers
VMCAI 2002
Bok Engelsk 2002 · Vis mer
Static analysis : 8th international symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings
International Static Analysis Symposium
Bok Engelsk 2001 · 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
Static analysis : 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings
International Static Analysis Symposium
Bok Engelsk 2000 · Vis mer
Static analysis : 6th international symposium, SAS'99, Venice, Italy , September 22-24, 1999 : proceedings
International Static Analysis Symposium
Bok Engelsk 1999 · Vis mer
A study of threats to validity in controlled software engineering experiments
Nils-Kristian Liborg
Bok Engelsk 2004 · Vis mer
Concurrency verification : introduction to compositional and noncompositional methods
Willem-Paul de Roever ... [et al.]
Bok Engelsk 2001 · Vis mer
Algebraic foundations of systems specification
E. Astesiano, H.J. Kreowski, B. Krieg-Brü...
Bok Engelsk 1999 · Vis mer
Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers
LOMAPS Workshop
Bok Engelsk 1997 · Vis mer
The B-book : assigning programs to meanings
Abrial, Jean-Raymond
Bok Engelsk 1996 · Vis mer
KORSO : methods, languages, and tools for the construction of correct software : final report

Bok Engelsk 1995 · Vis mer
Verification and validation of complex systems : human factors issues
NATO Advanced Study Institute on Verification and Validation of Complex and Integrated Human-Machine Systems
Bok Engelsk 1993 · Vis mer
Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings
J. Sifakis (ed.)
Bok Engelsk 1990 · Vis mer
Advances in genetic programming. @<1@>.

Bok Engelsk 1994 · Vis mer
CONCUR '90 : theories of concurrency : unification and extension, Amsterdam, The Netherlands, August 27-30, 1990 : proceedings
CONCUR '90
Bok Engelsk 1990 · Vis mer