Temporal Logic in Specification
Springer Berlin (Verlag)
978-3-540-51803-7 (ISBN)
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? |
aus dem Bereich