ASD case notes: Costs and benefits of applying formal methods to industrial control software

Lecture Notes in Computer Science

Volumn 3582, Issue , 2005, Pages 548-551

  Broadfoot, Guy H ^a  

^a Verum Consultants BV

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE;

CONTROL SOFTWARE; COST AND BENEFITS; INDUSTRIAL CONTROLS;

FORMAL METHODS;

EID: 26444604870     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11526841_39     Document Type: Conference Paper

References (4)

1. [For03] Formal Systems (Europe) Ltd. Failures-Divergence Refinement: FDR2 User Manual, 2003. See http://www.fsel.com.
2. [Hoa85] C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
3. [PP03] S. J. Prowell and J. H. Poore. Foundations of sequence-based software specification. IEEE Transactions of Software Engineering, 29(5):417-429, 2003.
4. [Ros98] A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998.