Vor Ort
Merkzettel Warenkorb
Produktbild: Computer Aided Verification
Band 8044 - 10%

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Aus der Reihe Lecture Notes in Computer Science
10% sparen

95,99 € UVP 106,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.07.2013

Abbildungen

XXII, 1015 p. 237 illus.

Herausgeber

Natasha Sharygina + weitere

Verlag

Springer Berlin

Seitenzahl

1015

Maße (L/B/H)

23,5/15,5/5,6 cm

Gewicht

1539 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-39798-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.07.2013

Abbildungen

XXII, 1015 p. 237 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

1015

Maße (L/B/H)

23,5/15,5/5,6 cm

Gewicht

1539 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-39798-1

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: Computer Aided Verification
  • Automata Networks.- Model-Checking Signal Transduction Networks through Decreasing Reachability Sets.- TTP: Tool for Tumor Progression.- Exploring Parameter Space of Stochastic Biochemical Systems using Quantitative Model Checking.- Parameterized Verification of Asynchronous Shared-Memory Systems.- Partial Orders for Efficient BMC of Concurrent Software.- Incremental, Inductive Coverability.- Automatic linearizability proofs of concurrent objects with cooperating.- Updates.- Duet: Static Analysis for Unbounded Parallelism.- SVA and PSL Local Variables.- A Practical Approach.- Formal Verification of Hardware Synthesis.- CacBDD: A BDD Package with Dynamic Cache Management.- Distributed Explicit State Model Checking of Deadlock Freedom.- Exponential-Condition-Based Barrier Certificate Generation for Safety.- Verification of Hybrid Systems .- Efficient Robust Monitoring for STL.- Abstraction based Model-Checking of Stability of Hybrid Systems.- Faster Algorithms for Markov Decision Processes with Low Tree width.- Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis.- Importance Splitting for Statistical Model Checking Rare Properties.- Minimal Sets over Monotone Predicates in Boolean Formulae.- Smten: Automatic Translation of High-level Symbolic Computations into SMT Queries.- QUAIL: a quantitative security analyzer for imperative code.- Effectively Propositional Reasoning about Reachability in Linked Data Structures.- Learning Universally Quantified Invariants of Linear Data Structures.- GOAL for Games, Omega-Automata, and Logics.- Efficient synthesis for concurrency using semantics-preserving Transformations.