Computer aided verification : :: SCD d'Orléans

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings

This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995. The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the t...

Descrición completa

Gardado en:

Detalles Bibliográficos
Autor Corporativo:	International conference on computer-aided verification :Liège, Belgique
Outros autores:	Wolper, Pierre, 1955- (Directeur de la publication)
Formato:	Livre numérique
Idioma:	Anglais
Publicado:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Series:	Lecture notes in computer science 939
Sujets:	Génie logiciel Logiciels > Essais Ordinateurs Évaluation Informatique Logiciels > Vérification Intelligence artificielle Logique symbolique et mathématique Actes de congrès
Acceso en liña:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Computer aided verification, 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995, proceedings, edited by Pierre Wolper, 1995, Berlin, Springer-Verlag, 1 vol. (x-450 p.), Lecture notes in computer science, 3-540-60045-0 • Computer Aided Verification, Texte imprimé, 9783662172216

Títulos similares

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

Computer aided verification : ; proceedings 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000

Computer aided verification : 11th International Conference, CAV 99, Trento, Italy, July 6 10, 1999 : proceedings

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27 31, 2002 : proceedings

Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

Computer aided verification : ; proceedings 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004

Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 July 1, 1992 : proceedings

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 July 2, 1998 : proceedings

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18 21, 1990 : proceedings

Formal methods in computer-aided design : 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4 7, 2001 : proceedings

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings

Effective Functional Verification : Principles and Processes
por: Vasudevan, Srivatsa
Publicado: (2006)

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
por: Godefroid, Patrice, 19..-

Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
por: Dershowitz, Nachum, 1951-

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L Aquila, Italy, October 21-24, 2003 : proceedings
por: Geist, Daniel

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
por: Müller-Olm, Markus, 19..-

Logic at Botik '89 : Symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings

Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990 : proceedings : FST and TCS 10

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
por: Steffen, Bernhard, 1956-

Program development in computational logic : a decade of research advances in logic-based program development
por: Bruynooghe, Maurice

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings

Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
por: Schmid, Ute

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

Foundations of software science and computation structures : 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Compiler construction : 4th International Conference, CC '92, Paderborn, FRG, October 5 7, 1992 : proceedings

Compiler construction : 5th International Conference, CC '94, Edinburgh, U.K., April 7 9, 1994 : proceedings

Formal methods in programming and their applications : international conference, Academgorodok, Russia June 28 July 2, 1993 : proceedings

Programming language implementation and logic programming : 4th International Symposium, PLILP'92, Leuven, Belgium, August 26 28, 1992 : proceedings

COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12 16, 1988 : proceedings

Theoretical aspects of computer software : Third International Symposium, TACS'97, Sendai, Japan, September 23 26, 1997 : proceedings

Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings

Foundations of software technology and theoretical computer science : seventh conference, Pune, India, December 17 19, 1987 : proceedings : FST and TCS 7

Intelligent agents V : agent theories, architectures, and languages : 5th International Workshop, ATAL 98, Paris, France, July 4 7, 1998 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales