Vor Ort
Merkzettel Warenkorb
Produktbild: Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.03.1998

Abbildungen

XV, 461 p.

Herausgeber

Bernhard Steffen

Verlag

Springer Berlin

Seitenzahl

461

Maße (L/B/H)

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

Gewicht

727 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-64356-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.03.1998

Abbildungen

XV, 461 p.

Herausgeber

Bernhard Steffen

Verlag

Springer Berlin

Seitenzahl

461

Maße (L/B/H)

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

Gewicht

727 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-64356-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: Tools and Algorithms for the Construction and Analysis of Systems
  • Formal verification of pipelined processors.- Fully local and efficient evaluation of alternating fixed points.- Modular model checking of software.- Verification based on local states.- Exploiting symmetry in linear time temporal logic model checking: One step beyond.- OPEN/CÆSAR: An open software architecture for verification, simulation, and testing.- Practical model-checking using games.- Combining finite automata, parallel programs and SDL using Petri nets.- Mesa: Support for scenario-based design of concurrent systems.- Efficient modeling of memory arrays in symbolic ternary simulation.- Translation validation.- A verified model checker for the modal ?-calculus in Coq.- Detecting races in relay ladder logic programs.- Verification of large state/event systems using compositionality and dependency analysis.- Tamagotchis need not die — Verification of statemate designs.- Modeling and verification of sC++ applications.- Factotum: Automatic and systematic sharing support for systems analyzers.- Model checking via reachability testing for timed automata.- Formal design and analysis of a gear controller.- Verifying networks of timed processes.- Model checking of real-time reachability properties using abstractions.- Symbolic exploration of transition hierarchies.- Static partial order reduction.- Set-based analysis of reactive infinite-state systems.- Deciding fixed and non-fixed size bit-vectors.- Experience with literate programming in the modelling and validation of systems.- A proof of burns N-process mutual exclusion algorithm using abstraction.- Automated verification of Szymanski's algorithm.- Formal verification of SDL systems at the siemens mobile phone department.