• DocumentCode
    2173303
  • Title

    Testing the consequences of specifications in modal μ

  • Author

    Liu, Ying ; Aldwinckle, John ; Birtwistle, Graham ; Stevens, Ken

  • Author_Institution
    Dept. of Comput. Sci., Calgary Univ., Alta., Canada
  • fYear
    1993
  • fDate
    14-17 Sep 1993
  • Firstpage
    987
  • Abstract
    In a companion paper in these proceedings, we introduced the CCS notation and explained how to write specifications succinctly in CCS using the composition operator. We explain how one may associate a process logic with CCS and use it to resolve deadlock, safety, liveness, and fairness properties of specifications by static testing
  • Keywords
    calculus of communicating systems; formal specification; operating systems (computers); systems analysis; testing; CCS notation; composition operator; deadlock; fairness; liveness; modal μ; process logic; safety; specifications; static testing; Bismuth; Carbon capture and storage; Computer science; Hardware; Logic testing; Safety; System recovery; System testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Electrical and Computer Engineering, 1993. Canadian Conference on
  • Conference_Location
    Vancouver, BC
  • Print_ISBN
    0-7803-2416-1
  • Type

    conf

  • DOI
    10.1109/CCECE.1993.332461
  • Filename
    332461
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2173303