Tools and algorithms for the construction and analysis of systems : third international Workshop, TACAS '97 Enschede, The Netherlands, April 2 4, 1997 : proceedings
This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997. The book presents 20 revised full papers and 5 tool demonstrations carefully sele...
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Livre numérique |
| Γλώσσα: | Anglais |
| Έκδοση: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Σειρά: | Lecture notes in computer science
1217 |
| Θέματα: | |
| Διαθέσιμο Online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Σημείωση: |
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 systems, third International Workshop, TACAS ±97, Enschede, The Netherlands, April 2-4, 1997, proceedings, Ed Brinksma (ed.), 1997, Berlin, Springer, 1 vol. (X-431 p.), Lecture notes in computer science, 3-540-62790-1 • Tools and Algorithms for the Construction and Analysis of Systems, Texte imprimé, 9783662167571 |
| LEADER | 04872nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 945545 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155232002 | ||
| 020 | |a 9783540685197 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004.21 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a International conference on tools and algorithms for the construction and analysis of systems |n (03 |d :1997 |c :Enschede, Pays-Bas). | |
| 245 | 1 | 0 | |a Tools and algorithms for the construction and analysis of systems : |b third international Workshop, TACAS '97 Enschede, The Netherlands, April 2 4, 1997 : proceedings |c [edited by] Ed Brinksma. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1217 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Hardware and software synthesis, optimization, and verification from Esterel programs -- Manipulation algorithms for K*BMDs -- Combining partial order and symmetry reductions -- Partial model checking with ROBDDs -- Space efficient reachability analysis through use of pseudo-root states -- The reference component of PEP -- A tool to support formal reasoning about computer languages -- The term processor generator Kimwitu -- Graphs in MetaFrame: The unifying power of polymorphism -- A tableau system for linear-TIME temporal logic -- Model-checking for a subclass of event structures -- Real-time logics: Fictitious clock as an abstraction of dense time -- Mosel: A flexible toolset for monadic second-order logic -- A brief introduction to coloured Petri Nets -- Design/CPN A computer tool for Coloured Petri Nets -- Formal verification of statecharts with instantaneous chain reactions -- Compositional state space generation from Lotos programs -- Syntactic detection of process divergence and non-local choice in message sequence charts -- An automata based verification environment for mobile processes -- Compositional performance analysis -- Incremental development of deadlock-free communicating systems -- Automatic synthesis of specifications from the dynamic observation of reactive programs -- Visual verification of reactive systems -- Theorem prover support for the refinement of stream processing functions -- Integration in PVS: Tables, types, and model checking -- Test generation for intelligent networks using model checking -- Mechanically verified self-stabilizing hierarchical algorithms -- The bounded retransmission protocol must be on time!. | |
| 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 Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997. The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Systèmes, Analyse de | ||
| 650 | |a Systèmes, Conception de | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Brinksma, Ed. |4 pbd | |
| 776 | 0 | |0 02884114X |t Tools and algorithms for the construction and analysis of systems |o third International Workshop, TACAS ±97, Enschede, The Netherlands, April 2-4, 1997 |o proceedings |f Ed Brinksma (ed.) |d 1997 |c Berlin |n Springer |p 1 vol. (X-431 p.) |s Lecture notes in computer science |z 3-540-62790-1 | |
| 776 | 0 | |t Tools and Algorithms for the Construction and Analysis of Systems |b Texte imprimé |z 9783662167571 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0035375 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-TNMB3CB1-T |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747909601 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0035375 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75092246X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0035375 |z Accès INSA CVL | |
| 997 | |0 945545 |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/ | ||