Vor Ort
Merkzettel Warenkorb
  • Produktbild: Computer Aided Verification
  • Produktbild: Computer Aided Verification
Band 663

Computer Aided Verification Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.03.1993

Abbildungen

IX, 426 p.

Herausgeber

Gregor Bochmann + weitere

Verlag

Springer Berlin

Seitenzahl

426

Maße (L/B/H)

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

Gewicht

663 g

Auflage

1993

Sprache

Englisch

ISBN

978-3-540-56496-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.03.1993

Abbildungen

IX, 426 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

426

Maße (L/B/H)

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

Gewicht

663 g

Auflage

1993

Sprache

Englisch

ISBN

978-3-540-56496-6

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
  • Produktbild: Computer Aided Verification
  • Computer-hindered verification (humans can do it too).- Modular abstractions for verifying real-time distributed systems.- Layering techniques for development of parallel systems.- Efficient local correctness checking.- Mechanical verification of concurrent systems with TLA.- Using a theorem prover for reasoning about concurrent algorithms.- Verifying a logic synthesis tool in Nuprl: A case study in software verification.- Higher-level specification and verification with BDDs.- Symbolic bisimulation minimisation.- Towards a verification technique for large synchronous circuits.- Verifying timed behavior automata with nonbinary delay constraints.- Timing verification by successive approximation.- A verification strategy for timing constrained systems.- Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits.- State space caching revisited.- Verification in process algebra of the distributed control of track vehicles—A case study.- Design verification of a microprocessor using branching time regular temporal logic.- A case study in safety-critical design.- Automatic reduction in CTL compositional model checking.- Compositional model checking for linear-time temporal logic.- Property preserving simulations.- Verification with real-time COSPAN.- Model-checking for real-time systems specified in Lotos.- Decidability of bisimulation equivalences for parallel timer processes.- A proof assistant for symbolic model-checking.- Tableau recycling.- Crocos: An integrated environment for interactive verification of SDL specifications.- Verifying general safety and liveness properties with integer programming.- Generating diagnostic information for behavioral preorders.- A verification procedure via invariant for extended communicating finite-state machines.- Efficient ?-regular language containment.- Faster model checking for the modal Mu-Calculus.