Enhancing FDM for the expression of concurrency requirements
Mark R. Pixon · ACM SIGSOFT Software Engineering Notes · 1985
This paper describes extensions to SDC's Formal Development Methodology that support formal specification and verification of concurrent system requirements. It outlines antecedents from first-order temporal predicate logic for these extensions and how they will be implemented.