Coverart for item
The Resource Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings, Kurt Jensen, Andreas Podelski (eds.)

Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings, Kurt Jensen, Andreas Podelski (eds.)

Label
Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
Title
Tools and algorithms for the construction and analysis of systems
Title remainder
10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
Statement of responsibility
Kurt Jensen, Andreas Podelski (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004, held in Barcelona, Spain in March/April 2004. The 37 revised full papers and 6 revised tool demonstration papers presented were carefully reviewed and selected from a total of 162 submissions. The papers are organized in topical sections on theorem proving, probabilistic model checking, testing, tools, explicit state and Petri nets, scheduling, constraint solving, timed systems, case studies, software, temporal logic, abstraction, and automata techniques
Member of
Cataloging source
N$T
Dewey number
005.1/2
Illustrations
illustrations
Index
index present
LC call number
QA76.9.S88
LC item number
T33 2004eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2004
http://bibfra.me/vocab/lite/meetingName
TACAS (Conference)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1950-
http://library.link/vocab/relatedWorkOrContributorName
  • Jensen, K.
  • Podelski, Andreas
Series statement
Lecture notes in computer science,
Series volume
2988
http://library.link/vocab/subjectName
  • System design
  • Computer software
  • COMPUTERS
  • COMPUTERS
  • Computer software
  • System design
  • Automatisches Beweisverfahren
  • Model Checking
  • Programmverifikation
  • Softwareentwicklung
  • Softwarespezifikation
  • Systementwicklung
  • Conception de systèmes
  • Développement de logiciels
  • Analyse de système
  • Barcelona (2004)
Label
Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings, Kurt Jensen, Andreas Podelski (eds.)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Theorem Proving -- Revisiting Positive Equality -- An Interpolating Theorem Prover -- Minimal Assignments for Bounded Model Checking -- Probabilistic Model Checking -- Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study -- Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes -- Model Checking Discounted Temporal Properties -- Testing -- Automatic Creation of Environment Models via Training -- Error Explanation with Distance Metrics -- Online Efficient Predictive Safety Analysis of Multithreaded Programs -- Tools -- Vooduu: Verification of Object-Oriented Designs Using UPPAAL -- CoPS -- Checker of Persistent Security -- Tampere Verification Tool -- SyncGen: An Aspect-Oriented Framework for Synchronization -- MetaGame: An Animation Tool for Model-Checking Games -- A Tool for Checking ANSI-C Programs -- Explicite State/Petri Nets -- Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method -- Automated Generation of a Progress Measure for the Sweep-Line Method -- Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient -- Scheduling -- Resource-Optimal Scheduling Using Priced Timed Automata -- Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata -- Constraint Solving -- The Succinct Solver Suite -- Binding-Time Analysis for MetaML via Type Inference and Constraint Solving -- A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings -- Timed Systems -- A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata -- Lower and Upper Bounds in Zone Based Abstractions of Timed Automata -- A Scalable Incomplete Test for the Boundedness of UML RT Models -- Automatic Verification of Time Sensitive Cryptographic Protocols -- Case Studies -- Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder -- Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic -- Software -- Refining Approximations in Software Predicate Abstraction -- Checking Strong Specifications Using an Extensible Software Model Checking Framework -- Applying Game Semantics to Compositional Software Modeling and Verification -- Temporal Logic -- Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points -- How Vacuous Is Vacuous? -- A Temporal Logic of Nested Calls and Returns -- Liveness with Incomprehensible Ranking -- Abstraction -- Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases -- Numeric Domains with Summarized Dimensions -- Symbolically Computing Most-Precise Abstract Operations for Shape Analysis -- Monotonic Abstraction-Refinement for CTL -- Automata Techniques -- Omega-Regular Model Checking -- FASTer Acceleration of Counter Automata in Practice -- From Complementation to Certification
Control code
61048231
Dimensions
unknown
Extent
1 online resource (xiv, 608 pages)
File format
unknown
Form of item
online
Isbn
9783540247302
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b96393
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)61048231
Label
Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings, Kurt Jensen, Andreas Podelski (eds.)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Theorem Proving -- Revisiting Positive Equality -- An Interpolating Theorem Prover -- Minimal Assignments for Bounded Model Checking -- Probabilistic Model Checking -- Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study -- Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes -- Model Checking Discounted Temporal Properties -- Testing -- Automatic Creation of Environment Models via Training -- Error Explanation with Distance Metrics -- Online Efficient Predictive Safety Analysis of Multithreaded Programs -- Tools -- Vooduu: Verification of Object-Oriented Designs Using UPPAAL -- CoPS -- Checker of Persistent Security -- Tampere Verification Tool -- SyncGen: An Aspect-Oriented Framework for Synchronization -- MetaGame: An Animation Tool for Model-Checking Games -- A Tool for Checking ANSI-C Programs -- Explicite State/Petri Nets -- Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method -- Automated Generation of a Progress Measure for the Sweep-Line Method -- Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient -- Scheduling -- Resource-Optimal Scheduling Using Priced Timed Automata -- Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata -- Constraint Solving -- The Succinct Solver Suite -- Binding-Time Analysis for MetaML via Type Inference and Constraint Solving -- A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings -- Timed Systems -- A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata -- Lower and Upper Bounds in Zone Based Abstractions of Timed Automata -- A Scalable Incomplete Test for the Boundedness of UML RT Models -- Automatic Verification of Time Sensitive Cryptographic Protocols -- Case Studies -- Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder -- Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic -- Software -- Refining Approximations in Software Predicate Abstraction -- Checking Strong Specifications Using an Extensible Software Model Checking Framework -- Applying Game Semantics to Compositional Software Modeling and Verification -- Temporal Logic -- Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points -- How Vacuous Is Vacuous? -- A Temporal Logic of Nested Calls and Returns -- Liveness with Incomprehensible Ranking -- Abstraction -- Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases -- Numeric Domains with Summarized Dimensions -- Symbolically Computing Most-Precise Abstract Operations for Shape Analysis -- Monotonic Abstraction-Refinement for CTL -- Automata Techniques -- Omega-Regular Model Checking -- FASTer Acceleration of Counter Automata in Practice -- From Complementation to Certification
Control code
61048231
Dimensions
unknown
Extent
1 online resource (xiv, 608 pages)
File format
unknown
Form of item
online
Isbn
9783540247302
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b96393
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)61048231

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...