Publications: Formal Methods for Software Development

• Common Framework Initiative for algebraic specification and development (CoFI)
• CASL
• Methodology and libraries for CASL
• Semantic foundations of CASL
• HasCASL
• CoCASL
• Multi logic systems and heterogeneous specification
• CSP - Communicating Sequential Processes (CSP)
• Integration of CSP and CASL (CSP-CASL)