Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Model checking of distributed systems with affine data structures

Model checking of distributed systems with affine data structures A new data structure is suggested for symbolic model checking of distributed systems defined by linear functions of integer variables. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Automatic Control and Computer Sciences Springer Journals

Model checking of distributed systems with affine data structures

Garanina, N.
Automatic Control and Computer Sciences , Volume 45 (7) – Jan 6, 2012
Download PDF
5 pages

Loading next page...
 
/lp/springer-journals/model-checking-of-distributed-systems-with-affine-data-structures-4bvNPsa4pj
Publisher
Springer Journals
Copyright
Copyright © 2011 by Allerton Press, Inc.
Subject
Computer Science; Control Structures and Microprogramming
ISSN
0146-4116
eISSN
1558-108X
DOI
10.3103/S0146411611070078
Publisher site
See Article on Publisher Site

Abstract

A new data structure is suggested for symbolic model checking of distributed systems defined by linear functions of integer variables.

Journal

Automatic Control and Computer Sciences – Springer Journals

Published: Jan 6, 2012

References

  • Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams
    Bryant, R.E.
  • Model Checking Concurrent Systems with Unbounded Integer Variables: Symbolic Representations, Approximations and Experimental Results
    Bultan; Gerber, R.; Pugh, W.
  • Results on the Propositional Mu-Calculus
    Kozen, D.
  • A Polynomial Approximations for Model Checking
    Shilov, N.V.; Garanina, N.O.
  • Model Checking Knowledge, Actions and Fixpoints
    Shilov, N.V.; Garanina, N.O.; Kalinina, N.A.