Del 398 - Lecture Notes in Computer Science

Temporal Logic in Specification

Altrincham, UK, April 8-10, 1987, Proceedings

Häftad, Engelska, 1989

Av Behnam Banieqbal, Howard Barringer, Amir Pnueli

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1989-10-11
Mått155 x 235 x 25 mm
Vikt692 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor452
Upplaga1989
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540518037

Tillhör följande kategorier

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.

Du kanske också är intresserad av

Survey of Verification Techniques for Parallel Programs

Del 191

Survey of Verification Techniques for Parallel Programs

Howard Barringer

339 kr

Pappaskämt : den ultimata humorn

Pappaskämt : den ultimata humorn

49 kr79 kr

Hitster - Christmas

Hitster - Christmas

Jumbo

259 kr

Jul med guldkant

Nyhet

Jul med guldkant

Catarina König

299 kr349 kr

Advances in Temporal Logic

Del 16

Advances in Temporal Logic

Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough

2 099 kr

Byggarna

Nyhet

Byggarna

Gunnar Wetterberg

299 kr349 kr

Runtime Verification

Runtime Verification

Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann

729 kr

Advances in Temporal Logic

Del 16

Advances in Temporal Logic

Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough

2 099 kr

Temporal Logic of Reactive and Concurrent Systems

Temporal Logic of Reactive and Concurrent Systems

Zohar Manna, Amir Pnueli

729 kr

MetaSoft Primer

Del 288

MetaSoft Primer

Andrzej Blikle, Don Barstow, W. Brauer, P. Brinch Hansen, D. Gries, David Luckham, C. Moler, Amir Pnueli, G. Seegmuller, Josef Stoer, Niklaus Wirth, D. Barstow, D. Luckham, N. Wirth, A. Pnueli, G. Seegmüller, J. Stoer

729 kr