SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

A Tool for Proving Invariance Properties of Concurrent Systems Automatically
 by Dr. Hassen Sa´di.

Appears in Lecture Notes in Computer Science, Volume 1055.
From Proceedings of 2nd International Workshop, Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
Springer-Verlag, Passau, Germany.
March, 1996.
Pages 412–416.


Abstract
Tool Presentation.
BibTEX Entry
@inproceedings{tacas96,
    AUTHOR = {Hassen Sa\"{i}di},
    TITLE = {{A} Tool for Proving Invariance Properties of Concurrent Systems Automatically},
    BOOKTITLE = {Proceedings of 2nd International Workshop, Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
    YEAR = {1996},
    VOLUME = {1055},
    PAGES = {412-416},
    ADDRESS = {Passau, Germany},
    MONTH = {March},
    PUBLISHER = {Springer-Verlag},
    URL = {http://www.csl.sri.com/papers/tacas96/},
    JOURNAL = {Lecture Notes in Computer Science}
}
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy