Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings /
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000. The 33 revised full papers presented together with one invited paper and two short tool descriptions were carefully reviewed and selected from a total of 107 submissions. The papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation, efficient model checking, model-checking tools, symbolic model checking, visual tools, and verification of critical systems.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
2000
|
Subjects: | Computer science., Computer communication systems., Software engineering., Algorithms., Computer logic., Computer Science., Software Engineering/Programming and Operating Systems., Logics and Meanings of Programs., Software Engineering., Computer Communication Networks., Algorithm Analysis and Problem Complexity., |
Online Access: | http://dx.doi.org/10.1007/3-540-46419-0 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:197616 |
---|---|
record_format |
koha |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Computer science. Computer communication systems. Software engineering. Algorithms. Computer logic. Computer Science. Software Engineering/Programming and Operating Systems. Logics and Meanings of Programs. Software Engineering. Computer Communication Networks. Algorithm Analysis and Problem Complexity. Computer science. Computer communication systems. Software engineering. Algorithms. Computer logic. Computer Science. Software Engineering/Programming and Operating Systems. Logics and Meanings of Programs. Software Engineering. Computer Communication Networks. Algorithm Analysis and Problem Complexity. |
spellingShingle |
Computer science. Computer communication systems. Software engineering. Algorithms. Computer logic. Computer Science. Software Engineering/Programming and Operating Systems. Logics and Meanings of Programs. Software Engineering. Computer Communication Networks. Algorithm Analysis and Problem Complexity. Computer science. Computer communication systems. Software engineering. Algorithms. Computer logic. Computer Science. Software Engineering/Programming and Operating Systems. Logics and Meanings of Programs. Software Engineering. Computer Communication Networks. Algorithm Analysis and Problem Complexity. Graf, Susanne. editor. Schwartzbach, Michael. editor. SpringerLink (Online service) Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings / |
description |
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000. The 33 revised full papers presented together with one invited paper and two short tool descriptions were carefully reviewed and selected from a total of 107 submissions. The papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation, efficient model checking, model-checking tools, symbolic model checking, visual tools, and verification of critical systems. |
format |
Texto |
topic_facet |
Computer science. Computer communication systems. Software engineering. Algorithms. Computer logic. Computer Science. Software Engineering/Programming and Operating Systems. Logics and Meanings of Programs. Software Engineering. Computer Communication Networks. Algorithm Analysis and Problem Complexity. |
author |
Graf, Susanne. editor. Schwartzbach, Michael. editor. SpringerLink (Online service) |
author_facet |
Graf, Susanne. editor. Schwartzbach, Michael. editor. SpringerLink (Online service) |
author_sort |
Graf, Susanne. editor. |
title |
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings / |
title_short |
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings / |
title_full |
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings / |
title_fullStr |
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings / |
title_full_unstemmed |
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings / |
title_sort |
tools and algorithms for the construction and analysis of systems [electronic resource] : 6th international conference, tacas 2000 held as part of the joint european conferences on theory and practice of software, etaps 2000 berlin, germany, march 25 – april 2, 2000 proceedings / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
2000 |
url |
http://dx.doi.org/10.1007/3-540-46419-0 |
work_keys_str_mv |
AT grafsusanneeditor toolsandalgorithmsfortheconstructionandanalysisofsystemselectronicresource6thinternationalconferencetacas2000heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2000berlingermanymarch25april22000proceedings AT schwartzbachmichaeleditor toolsandalgorithmsfortheconstructionandanalysisofsystemselectronicresource6thinternationalconferencetacas2000heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2000berlingermanymarch25april22000proceedings AT springerlinkonlineservice toolsandalgorithmsfortheconstructionandanalysisofsystemselectronicresource6thinternationalconferencetacas2000heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2000berlingermanymarch25april22000proceedings |
_version_ |
1756267041194508288 |
spelling |
KOHA-OAI-TEST:1976162018-07-30T23:23:55ZTools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings / Graf, Susanne. editor. Schwartzbach, Michael. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,2000.engThis book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000. The 33 revised full papers presented together with one invited paper and two short tool descriptions were carefully reviewed and selected from a total of 107 submissions. The papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation, efficient model checking, model-checking tools, symbolic model checking, visual tools, and verification of critical systems.Invited Contribution -- On the Construction of Automata from Linear Arithmetic Constraints -- Software and Formal Methods Tools -- An Extensible Type System for Component-Based Design -- Proof General: A Generic Tool for Proof Development -- ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation -- Formal Methods Tools -- Consistent Integration of Formal Methods -- An Architecture for Interactive Program Provers -- The PROSPER Toolkit -- CASL: From Semantics to Tools -- Timed and Hybrid Systems -- On the Construction of Live Timed Systems -- On Memory-Block Traversal Problems in Model-Checking Timed Systems -- Symbolic Model Checking for Rectangular Hybrid Systems -- Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems -- Infinite and Parameterized Systems -- Verification of Parameterized Systems Using Logic Program Transformations -- Abstracting WS1S Systems to Verify Parameterized Networks -- FMona: A Tool for Expressing Validation Techniques over Infinite State Systems -- Transitive Closures of Regular Relations for Verifying Infinite-State Systems -- Diagnostic and Test Generation -- Using Static Analysis to Improve Automatic Test Generation -- Efficient Diagnostic Generation for Boolean Equation Systems -- Efficient Model-Checking -- Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems -- Checking for CFFD-Preorder with Tester Processes -- Fair Bisimulation -- Integrating Low Level Symmetries into Reachability Analysis -- Model-Checking Tools -- Model Checking Support for the ASM High-Level Language -- A Markov Chain Model Checker -- Model Checking SDL with Spin -- Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking -- Symbolic Model-Checking -- Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation -- Symbolic Reachability Analysis Based on SAT-Solvers -- Symbolic Representation of Upward-Closed Sets -- BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems -- Visual Tools -- Tool-Based Specification of Visual Languages and Graphic Editors -- VIP: A Visual Editor and Compiler for v-Promela -- Verification of Critical Systems -- A Comparison of Two Verification Methods for Speculative Instruction Execution -- Partial Order Reductions for Security Protocol Verification -- Model Checking Security Protocols Using a Logic of Belief -- A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors.This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000. The 33 revised full papers presented together with one invited paper and two short tool descriptions were carefully reviewed and selected from a total of 107 submissions. The papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation, efficient model checking, model-checking tools, symbolic model checking, visual tools, and verification of critical systems.Computer science.Computer communication systems.Software engineering.Algorithms.Computer logic.Computer Science.Software Engineering/Programming and Operating Systems.Logics and Meanings of Programs.Software Engineering.Computer Communication Networks.Algorithm Analysis and Problem Complexity.Springer eBookshttp://dx.doi.org/10.1007/3-540-46419-0URN:ISBN:9783540464198 |