Advertisement

Synthesizing distinguishing formulae for real time systems -extended abstract

  • Jens Chr. Godskesen
  • Kim G. Larsen
Contributed Papers Model Checking
Part of the Lecture Notes in Computer Science book series (LNCS, volume 969)

Keywords

Label Transition System Process Algebra Symbolic State Delay Transition Symbolic Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    J.C.M. Baeten and J.A. Bergstra. Real time process algebra. Technical Report P8916, University of Amsterdam, 1989.Google Scholar
  2. 2.
    J. A. Bergstra, J. Heering, and P. Klint. Algebra of communicating processes. In CWI symposium on Mathematics and Computer Science. North-Holland, 1986.Google Scholar
  3. 3.
    U. Celikkan and R. Cleaveland. Diagnostic information for behavioral preorders. In Proceedings of CAV'92, volume 663 of Lecture Notes In Computer Science, Springer Verlag. Springer-Verlag, 1992.Google Scholar
  4. 4.
    K. čer¯ans, J.C. Godskesen, and K.G. Larsen. Timed modal specifications — theory and tools. In Proceedings of CAV'93, volume 697 of Lecture Notes In Computer Science, pages 253–267. Springer-Verlag, 1993.Google Scholar
  5. 5.
    R. Cleaveland. On automatically distinguishing inequivalent processes. In Proceedings of CAV'90, volume 531 of Lecture Notes In Computer Science. Springer-Verlag, 1990.Google Scholar
  6. 6.
    R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench. Technical Report ECS-LFCS-89-83, LFCS, University of Edinburgh, Scotland, 1989.Google Scholar
  7. 7.
    J. Davis and S. Schneider. An introduction to timed CSP. Technical Report PRG-75, Oxford University Computing Laboratory, 1989.Google Scholar
  8. 8.
    J.C. Godskensen and K.G. Larsen. Synthesizing Distiniguishing Formulae for Real Time Systems. BRICS Report Series RS-94-48, BRICS, Aalborg University, December 1994. Accessible via WWW: http://www.brics.aau.dk/BRICS.Google Scholar
  9. 9.
    J.C. Godskesen, K.G. Larsen, and M. Zeeberg. TAV — users manual. Technical Report R 89-19, University of Aalborg, Denmark, 1989.Google Scholar
  10. 10.
    J.C. Godskesen. Timed Modal Specifications — A Theory for Verification of Real-Time Concurrent Systems. Phd. thesis, Aalborg University, Denmark, 1994.Google Scholar
  11. 11.
    M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the Association for Computing Machinery, pages 137–161, 1985.Google Scholar
  12. 12.
    C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666–677, 1978.CrossRefGoogle Scholar
  13. 13.
    V. Lecompte, E. Madelaine, and D. Vergamini. Auto: A verification system for parallel and communicating processes. INRIA, Sophia-Antipolis, 1988.Google Scholar
  14. 14.
    R. Milner. Calculus of Communicating Systems, volume 92 of Lecture Notes In Computer Science, Springer Verlag. Springer Verlag, 1980.Google Scholar
  15. 15.
    K. Čer¯ans. Decidability of bisimulation equivalences for processes with parallel timers. In Proceedings of CAV'92, volume 663 of Lecture Notes In Computer Science, Springer Verlag. Springer-Verlag, 1992.Google Scholar
  16. 16.
    Y. Wang. Real-time behaviour of asynchronous agents. In Proceedings of CONCUR'90, volume 458 of Lecture Notes In Computer Science, Springer Verlag. Springer-Verlag, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Jens Chr. Godskesen
    • 1
  • Kim G. Larsen
    • 2
  1. 1.Tele Danmark ResearchHØrsholmDenmark
  2. 2.BRICSAalborg Univ.AalborgDenmark

Personalised recommendations