Vor Ort
Merkzettel Warenkorb
  • Produktbild: Automated Technology for Verification and Analysis
  • Produktbild: Automated Technology for Verification and Analysis
Band 3707

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.09.2005

Abbildungen

XII, 508 p.

Herausgeber

Doron A. Peled + weitere

Verlag

Springer Berlin

Seitenzahl

508

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

785 g

Sprache

Englisch

ISBN

978-3-540-29209-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.09.2005

Abbildungen

XII, 508 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

508

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

785 g

Sprache

Englisch

ISBN

978-3-540-29209-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: Automated Technology for Verification and Analysis
  • Produktbild: Automated Technology for Verification and Analysis
  • Keynote Speeches.- Ranking Abstraction as a Companion to Predicate Abstraction.- Termination and Invariance Analysis of Loops.- Some Perspectives of Infinite-State Verification.- Model Checking.- Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.- A New Reachability Algorithm for Symmetric Multi-processor Architecture.- Comprehensive Verification Framework for Dependability of Self-optimizing Systems.- Exploiting Hub States in Automatic Verification.- Combined Methods.- An Approach for the Verification of SystemC Designs Using AsmL.- Decomposition-Based Verification of Cyclic Workflows.- Timed, Embedded, and Hybrid Systems (I).- Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems.- Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach.- Quantitative and Qualitative Analysis of Temporal Aspects of Complex Activities.- Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems.- Abstraction and Reduction Techniques.- Selective Search in Bounded Model Checking of Reachability Properties.- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming.- State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method.- Syntactical Colored Petri Nets Reductions.- Decidability and Complexity.- Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology.- A Static Analysis Using Tree Automata for XML Access Control.- Reasoning About Transfinite Sequences.- Semi-automatic Distributed Synthesis.- Established Formalisms and Standards.- A New Graph of Classes for the Preservation of Quantitative Temporal Constraints.- Comparison of Different Semantics for Time Petri Nets.- Introducing Dynamic Properties with Past Temporal Operators in the B Refinement.- Approximate Reachability for Dead Code Elimination in Esterel???.- Compositional Verification and Games.- Synthesis of Interface Automata.- Multi-valued Model Checking Games.- Timed, Embedded, and Hybrid Systems (II).- Model Checking Prioritized Timed Automata.- An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata.- Protocols Analysis, Case Studies, and Tools.- An EFSM-Based Intrusion Detection System for Ad Hoc Networks.- Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool.- Formal Construction and Verification of Home Service Robots: A Case Study.- Model Checking Real Time Java Using Java PathFinder.- Infinite-State and Parameterized Systems.- Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols.- Flat Acceleration in Symbolic Model Checking.- Flat Counter Automata Almost Everywhere!.