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

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.09.2009

Herausgeber

Zhiming Liu + weitere

Verlag

Springer Berlin

Seitenzahl

414

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

645 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-04760-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.09.2009

Herausgeber

Verlag

Springer Berlin

Seitenzahl

414

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

645 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-04760-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Automated Technology for Verification and Analysis
  • Produktbild: Automated Technology for Verification and Analysis
  • Invited Talks.- Verifying VLSI Circuits.- 3-Valued Abstraction for (Bounded) Model Checking.- Local Search in Model Checking.- State Space Reduction.- Exploring the Scope for Partial Order Reduction.- State Space Reduction of Linear Processes Using Control Flow Reconstruction.- A Data Symmetry Reduction Technique for Temporal-epistemic Logic.- Tools.- TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets.- CLAN: A Tool for Contract Analysis and Conflict Discovery.- UnitCheck: Unit Testing and Model Checking Combined.- Probabilistic Systems.- LTL Model Checking of Time-Inhomogeneous Markov Chains.- Statistical Model Checking Using Perfect Simulation.- Quantitative Analysis under Fairness Constraints.- A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems.- Medley.- Memory Usage Verification Using Hip/Sleek.- Solving Parity Games in Practice.- Automated Analysis of Data-Dependent Programs with Dynamic Memory.- Temporal Logic I.- On-the-fly Emptiness Check of Transition-Based Streett Automata.- On Minimal Odd Rankings for Büchi Complementation.- Specification Languages for Stutter-Invariant Regular Properties.- Abstraction and Refinement.- Incremental False Path Elimination for Static Software Analysis.- A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement.- Don’t Know for Multi-valued Systems.- Logahedra: A New Weakly Relational Domain.- Fault Tolerant Systems.- Synthesis of Fault-Tolerant Distributed Systems.- Formal Verification for High-Assurance Behavioral Synthesis.- Dynamic Observers for the Synthesis of Opaque Systems.- Temporal Logic II.- Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation.- LTL Model Checking for Recursive Programs.- On Detecting Regular Predicates in Distributed Systems.