Computer Aided Verification

Inhaltsverzeichnis

Multipliers and dividers: Insights on arithmetic circuit verification (extended abstract).- Global rebuilding of OBDDs avoiding memory requirement maxima.- Generating BDD models for process algebra terms.- Hardware verification using monadic second-order logic.- Verifying safety properties of a class of infinite-state distributed algorithms.- Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving.- CAVEAT: technique and tool for computer aided verification and transformation.- An integration of model checking with automated proof checking.- Automatic datapath abstraction in hardware systems.- Toupie=?-calculus+constraints.- Safety property verification of Esterel programs and applications to telecommunications software.- Methods for Mu-calculus model checking: A tutorial.- Efficient checking of behavioural relations and modal assertions using fixed-point inversion.- It usually works: The temporal logic of stochastic systems.- Local liveness for compositional modeling of fair reactive systems.- Trace theoretic verification of asynchronous circuits using unfoldings.- From duration calculus to linear hybrid automata.- Local model checking for real-time systems.- Algorithmic analysis of nonlinear hybrid systems.- On polynomial-size programs winning finite-state games.- The rabin index and chain automata, with applications to automata and games.- An automata-theoretic approach to fair realizability and synthesis.- Supervisory control of finite state machines.- Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form.- Utilizing symmetry when model checking under fairness assumptions: An automata-theoretic approach.- Augmenting branching temporal logics with existential quantification over atomic propositions.- Modelling asynchrony with a synchronous model.- On the model checking problem for branching time logics and basic parallel processes.- Using formal verification/analysis methods on the critical path in system design: A case study.- Automated analysis of an audio control protocol.- Interactively verifying a simple real-time scheduler.- Verification of real-time systems by successive over and under approximation.- Efficient timing analysis of a class of Petri nets.- Verifying ?-regular properties for a subclass of linear hybrid systems.
Band 939

Computer Aided Verification

7th International Conference, CAV '95, Liege, Belgium, July 3-5, 1995. Proceedings

Buch (Taschenbuch, Englisch)

87,99 €

inkl. gesetzl. MwSt.

Beschreibung

Details

Einband

Taschenbuch

Erscheinungsdatum

21.06.1995

Herausgeber

Pierre Wolper

Verlag

Springer Berlin

Seitenzahl

456

Beschreibung

Details

Einband

Taschenbuch

Erscheinungsdatum

21.06.1995

Herausgeber

Pierre Wolper

Verlag

Springer Berlin

Seitenzahl

456

Maße (L/B/H)

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

Gewicht

1440 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60045-9

Weitere Bände von Lecture Notes in Computer Science

Das meinen unsere Kund*innen

0.0

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Kund*innenkonto 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.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Erste Bewertung verfassen

Unsere Kund*innen meinen

0.0

0 Bewertungen filtern

  • Computer Aided Verification
  • Multipliers and dividers: Insights on arithmetic circuit verification (extended abstract).- Global rebuilding of OBDDs avoiding memory requirement maxima.- Generating BDD models for process algebra terms.- Hardware verification using monadic second-order logic.- Verifying safety properties of a class of infinite-state distributed algorithms.- Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving.- CAVEAT: technique and tool for computer aided verification and transformation.- An integration of model checking with automated proof checking.- Automatic datapath abstraction in hardware systems.- Toupie=?-calculus+constraints.- Safety property verification of Esterel programs and applications to telecommunications software.- Methods for Mu-calculus model checking: A tutorial.- Efficient checking of behavioural relations and modal assertions using fixed-point inversion.- It usually works: The temporal logic of stochastic systems.- Local liveness for compositional modeling of fair reactive systems.- Trace theoretic verification of asynchronous circuits using unfoldings.- From duration calculus to linear hybrid automata.- Local model checking for real-time systems.- Algorithmic analysis of nonlinear hybrid systems.- On polynomial-size programs winning finite-state games.- The rabin index and chain automata, with applications to automata and games.- An automata-theoretic approach to fair realizability and synthesis.- Supervisory control of finite state machines.- Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form.- Utilizing symmetry when model checking under fairness assumptions: An automata-theoretic approach.- Augmenting branching temporal logics with existential quantification over atomic propositions.- Modelling asynchrony with a synchronous model.- On the model checking problem for branching time logics and basic parallel processes.- Using formal verification/analysis methods on the critical path in system design: A case study.- Automated analysis of an audio control protocol.- Interactively verifying a simple real-time scheduler.- Verification of real-time systems by successive over and under approximation.- Efficient timing analysis of a class of Petri nets.- Verifying ?-regular properties for a subclass of linear hybrid systems.