OPEN-CAESAR: An Open Software Architecture for Verification, Simulation, and TestingReport as inadecuate




OPEN-CAESAR: An Open Software Architecture for Verification, Simulation, and Testing - Download this document for free, or read online. Document in PDF available to download.

1 VASY - System validation - Research and applications Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d-Informatique de Grenoble



1 VASY - System validation - Research and applications Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d-Informatique de Grenoble

Hubert Garavel 1 decryptMail-Uhoreg.Tneniry@vaevn.se- -link594c8cc715d2c- - Author

1 VASY - System validation - Research and applications 655, avenue de l-Europe 38330 Montbonnot - FranceInria Grenoble - Rhône-Alpes Inovallée655 avenue de l-Europe38330 Montbonnot - FranceInria - Institut National de Recherche en Informatique et en Automatique Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex - FranceLIG - Laboratoire d-Informatique de Grenoble UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France Tél. : 04 57 42 14 00 - FranceUPMF - Université Pierre Mendès France - Grenoble 2 BP 47 - 38040 Grenoble Cedex 9 - FranceUJF - Université Joseph Fourier - Grenoble 1 BP 53 - 38041 Grenoble Cedex 9 - FranceINPG - Institut National Polytechnique de Grenoble 46 avenue Félix Viallet 38031 Grenoble Cedex 1 - FranceCNRS - Centre National de la Recherche Scientifique : UMR5217 FranceUGA - Université Grenoble Alpes CS 40700 - 38058 Grenoble cedex - France



Keywords : SOFTWARE TESTING -TRANSITION SYSTEMS TEST GENERATION VERIFICATION VALIDATION SIMULATION REACHABILITY ANALYSIS FORMAL METHODS MODEL-CHECKING ON-THE-FLY VERIFICATION SOFTWARE ENGINEERING





Author: Hubert Garavel -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents