Vor Ort
Merkzettel Warenkorb
  • Produktbild: Tools and Algorithms for the Construction and Analysis of Systems
  • Produktbild: Tools and Algorithms for the Construction and Analysis of Systems
Band 2031

Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

Aus der Reihe Lecture Notes in Computer Science

99,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.03.2001

Abbildungen

XIV, 594 p.

Herausgeber

Tiziana Margaria + weitere

Verlag

Springer Berlin

Seitenzahl

594

Maße (L/B/H)

23,5/15,5/3,3 cm

Gewicht

905 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-41865-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.03.2001

Abbildungen

XIV, 594 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

594

Maße (L/B/H)

23,5/15,5/3,3 cm

Gewicht

905 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-41865-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Tools and Algorithms for the Construction and Analysis of Systems
  • Produktbild: Tools and Algorithms for the Construction and Analysis of Systems
  • Invited Contributions.- Branching vs. Linear Time: Final Showdown.- Propositional Reasoning.- Symbolic Verification.- Language Containment Checking with Nondeterministic BDDs.- Satisfiability Checking Using Boolean Expression Diagrams.- A Library for Composite Symbolic Representations.- Infinite State Systems: Deduction and Abstraction.- Synthesis of Linear Ranking Functions.- Automatic Deductive Verification with Invisible Invariants.- Incremental Verification by Abstraction.- A Technique for Invariant Generation.- Application of Model Checking Techniques.- Model Checking Syllabi and Student Careers.- Verification of Vortex Workflows.- Parameterized Verification of Multithreaded Software Libraries.- Timed and Probabilistic Systems.- Efficient Guiding Towards Cost-Optimality in UPPAAL.- Linear Parametric Model Checking of Timed Automata.- Abstraction in Probabilistic Process Algebra.- First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders.- Hardware: Design and Verification.- Hardware/Software Co-design Using Functional Languages.- Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors.- Software Verification.- Boolean and Cartesian Abstraction for Model Checking C Programs.- Finding Feasible Counter-examples when Model Checking Abstracted Java Programs.- The loop Compiler for Java and JML.- Symbolic Verification.- Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking.- Saturation: An Efficient Iteration Strategy for Symbolic State—Space Generation.- Testing: Techniques and Tools.- Automated Test Generation from Timed Automata.- Testing an Intentional Naming Scheme Using Genetic Algorithms.- Building a Tool for the Analysis and Testing of Web Applications: Problems andSolutions.- TATOO: Testing and Analysis Tool for Object-Oriented Software.- Implementation Techniques.- Implementing a Multi-valued Symbolic Model Checker.- Is There a Best Symbolic Cycle-Detection Algorithm?.- Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets.- A Sweep-Line Method for State Space Exploration.- Semantics and Compositional Verification.- Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams.- Simulation Revisited.- Compositional Message Sequence Charts.- An Automata Based Interpretation of Live Sequence Charts.- Logics and Model-Checking.- Coverage Metrics for Temporal Logic Model Checking.- Parallel Model Checking for the Alternation Free ?-Calculus.- Model Checking CTL*[DC].- ETAPS Tool Demonstration.- CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS.- The ASM Workbench: A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models.- The Erlang Verification Tool.