• Sign In
  • Help
  • My Basket0
Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science (Paperback)
  • Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science (Paperback)
zoom

Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science (Paperback)

(author)
£72.00
Paperback 116 Pages / Published: 25/02/2012
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket

Check Marketplace availability

This monograph aims to provide a powerful general-purpose proof tech- nique for the verification of systems, whether finite or infinite. It extends the idea of finite local model-checking, which was introduced by Stirling and Walker: rather than traversing the entire state space of a model, as is done for model-checking in the sense of Emerson, Clarke et ai. (checking whether a (finite) model satisfies a formula), local model-checking asks whether a particular state satisfies a formula, and only explores the nearby states far enough to answer that question. The technique used was a tableau method, constructing a tableau according to the formula and the local structure of the model. This tableau technique is here generalized to the infinite case by considering sets of states, rather than single states; because the logic used, the propositional modal mu-calculus, separates simple modal and boolean connectives from powerful fix-point operators (which make the logic more expressive than many other temporal logics), it is possible to give a rela- tively straightforward set of rules for constructing a tableau. Much of the subtlety is removed from the tableau itself, and put into a relation on the state space defined by the tableau-the success of the tableau then depends on the well-foundedness of this relation. The generalized tableau technique is exhibited on Petri nets, and various standard notions from net theory are shown to playa part in the use of the technique on nets-in particular, the invariant calculus has a major role.

Publisher: Springer-Verlag New York Inc.
ISBN: 9781468468212
Number of pages: 116
Weight: 201 g
Dimensions: 235 x 155 x 7 mm
Edition: Softcover reprint of the original 1st ed. 199

You may also be interested in...

Game Theory: A Very Short Introduction
Added to basket
Mental Arithmetic 6 Answers: No. 6
Added to basket
Naked Statistics
Added to basket
£12.99
Paperback
Mental Arithmetic 3 Answers
Added to basket
Risk
Added to basket
£12.99
Paperback
Mathematical Tables 2009
Added to basket
The Signal and the Noise
Added to basket
£10.99   £8.99
Paperback
Mental Arithmetic 5
Added to basket
Fermat's Last Theorem
Added to basket
Mental Arithmetic 4
Added to basket
£3.50
Paperback
Mental Arithmetic 6
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.