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

AvTiziana Margaria,Wang Yi

Häftad, Engelska, 2001

Del i serien Lecture Notes in Computer Science

1 135 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

572 kr

572 kr

572 kr

459 kr

459 kr

459 kr

459 kr

459 kr

459 kr

459 kr

Beskrivning

This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001.The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration.

Produktinformation

Utgivningsdatum:2001-03-21
Mått:155 x 235 x 33 mm
Vikt:905 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:594
Upplaga:2001
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540418658

Utforska kategorier

Programvaruutveckling inom Data och IT

Innehållsförteckning

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.

Mer från samma författare

Del 8

Semantic Web Services Challenge

Charles J. Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba

Inbunden, 2008

1 702 kr

Semantic Web Services Challenge

Michal Zaremba, Holger Lausen, Tiziana Margaria, Charles J. Petrie

E-bok

2008

2 110 kr

Formal Methods for Industrial Critical Systems

Stefania Gnesi, Tiziana Margaria

Häftad, 2012

1 130 kr

Formal Methods for Industrial Critical Systems

Tiziana Margaria, Stefania Gnesi

E-bok

2012

1 291 kr

Formal Methods for Industrial Critical Systems

Tiziana Margaria, Stefania Gnesi

E-bok

2012

1 291 kr

Del 8

Semantic Web Services Challenge

Charles J. Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba

Häftad, 2010

1 702 kr

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Tiziana Margaria, Bernhard Steffen

Häftad, 2018

572 kr

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Bernhard Steffen, Tiziana Margaria

E-bok

2018

739 kr

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Tiziana Margaria, Bernhard Steffen

Häftad, 2018

572 kr

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Bernhard Steffen, Tiziana Margaria

E-bok

2018

739 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

556 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr