Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Temporal Logic in Specification

Altrincham, UK, April 8-10, 1987, Proceedings
Buch | Softcover
VIII, 452 Seiten
1989 | 1989
Springer Berlin (Verlag)
978-3-540-51803-7 (ISBN)

Lese- und Medienproben

Temporal Logic in Specification -
CHF 74,85 inkl. MwSt
  • Versand in 10-14 Tagen
  • Versandkostenfrei
  • Auch auf Rechnung
  • Artikel merken

Comparing linear and branching time temporal logics.- Interleaving set temporal logic.- An expressive logic for a process algebra with silent actions.- Temporal logic with fixed points.- On the relation of programs and computations to models of temporal logic.- Specification and verification of concurrent programs by ?-automata.- MCTL - An extension of CTL for modular verification of concurrent systems.- The model checking problem for concurrent systems with many similar processes.- Unified verification theory.- Specifying message passing systems requires extending temporal logic.- Extending interval logic to real time systems.- The prescription and description of state based systems.- Enforcing nondeterminism via linear time temporal logic specifications using hiding.- Specifying communicating systems with temporal logic.- Abstract object types: A temporal perspective.- Compositionality and modularity in process specification and design: A trace-state based approach.- Using temporal logic for prototyping: The design of a lift controller.- The declarative past and imperative future.

Erscheint lt. Verlag 11.10.1989
Reihe/Serie Lecture Notes in Computer Science
Zusatzinfo VIII, 452 p.
Verlagsort Berlin
Sprache englisch
Maße 155 x 235 mm
Gewicht 822 g
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Informatik Theorie / Studium Compilerbau
Schlagworte Algorithm analysis and problem complexity • Automata • Automatentheorie • formale Sprachen • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Logic • Model Checking • object • Software Engineering / Softwareentwicklung • Softwareentwicklung • Spezifikation • Spezifikation verteilter Systeme • Temporale Logik • verification • Verteilte Systeme • Verteilte Verarbeitung
ISBN-10 3-540-51803-7 / 3540518037
ISBN-13 978-3-540-51803-7 / 9783540518037
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen und Anwendungen

von Hanspeter Mössenböck

Buch | Softcover (2024)
dpunkt (Verlag)
CHF 41,85
a beginner's guide to learning llvm compiler tools and core …

von Kai Nacke

Buch | Softcover (2024)
Packt Publishing Limited (Verlag)
CHF 69,80