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
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;
Conference_Titel :
Electrical and Computer Engineering, 1993. Canadian Conference on
Conference_Location :
Vancouver, BC
Print_ISBN :
0-7803-2416-1
DOI :
10.1109/CCECE.1993.332461
