Tools and algorithms for the construction and analysis of sytems : 4th International Conference, TACAS '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 April 4, 1998 : proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invit...
Guardado en:
| Autores Corporativos: | , |
|---|---|
| Otros Autores: | |
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colección: | Lecture notes in computer science
1384 |
| Materias: | |
| Acceso en línea: | 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: | • Tools and algorithms for the construction and analysis of sytems, 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March/April 1998, proceedings, Bernhard Steffen (ed.), 1998, Berlin, Springer, 1 vol. ( XIII-455 p.), Lecture notes in computer science, 3-540-64356-7 • Tools and Algorithms for the Construction and Analysis of Systems, Texte imprimé, 9783662214688 |
| LEADER | 05349nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 943772 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155164007 | ||
| 020 | |a 9783540697534 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International conference on tools and algorithms for the construction and analysis of systems |n (04 |d :1998 |c :Lisbonne). | |
| 245 | 1 | 0 | |a Tools and algorithms for the construction and analysis of sytems : |b 4th International Conference, TACAS '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 April 4, 1998 : proceedings |c [edited by] Bernhard Steffen. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1384 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Formal verification of pipelined processors -- Fully local and efficient evaluation of alternating fixed points -- Modular model checking of software -- Verification based on local states -- Exploiting symmetry in linear time temporal logic model checking: One step beyond -- OPEN/CÆSAR: An open software architecture for verification, simulation, and testing -- Practical model-checking using games -- Combining finite automata, parallel programs and SDL using Petri nets -- Mesa: Support for scenario-based design of concurrent systems -- Efficient modeling of memory arrays in symbolic ternary simulation -- Translation validation -- A verified model checker for the modal ?-calculus in Coq -- Detecting races in relay ladder logic programs -- Verification of large state/event systems using compositionality and dependency analysis -- Tamagotchis need not die Verification of statemate designs -- Modeling and verification of sC++ applications -- Factotum: Automatic and systematic sharing support for systems analyzers -- Model checking via reachability testing for timed automata -- Formal design and analysis of a gear controller -- Verifying networks of timed processes -- Model checking of real-time reachability properties using abstractions -- Symbolic exploration of transition hierarchies -- Static partial order reduction -- Set-based analysis of reactive infinite-state systems -- Deciding fixed and non-fixed size bit-vectors -- Experience with literate programming in the modelling and validation of systems -- A proof of burns N-process mutual exclusion algorithm using abstraction -- Automated verification of Szymanski's algorithm -- Formal verification of SDL systems at the siemens mobile phone department. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions. The volume is devoted to conceptual foundations, development, and applications of tools and algorithms for the specification, verification, analysis, and construction of software and hardware systems. The papers are organized in sections on model checking, design and architecture, various applications, fielded applications, verification of real-time systems, mixed analysis techniques, and case studies and experience. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Systèmes, Conception de | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Logiciels |x Développement | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Steffen, Bernhard, |d 1956- |4 pbd | |
| 711 | 2 | |a European joint conferences on theory and practice of software |n (01 |d :1998 |c :Lisbonne). |4 aut | |
| 776 | 0 | |0 035906391 |t Tools and algorithms for the construction and analysis of sytems |o 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March/April 1998, proceedings |f Bernhard Steffen (ed.) |d 1998 |c Berlin |n Springer |p 1 vol. ( XIII-455 p.) |s Lecture notes in computer science |z 3-540-64356-7 | |
| 776 | 0 | |t Tools and Algorithms for the Construction and Analysis of Systems |b Texte imprimé |z 9783662214688 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0054159 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-JXC0RVN4-4 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747894248 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0054159 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75090724X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0054159 |z Accès INSA CVL | |
| 997 | |0 943772 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||