The Need for Compositional Proof Systems: A Survey

This publication has 51 references indexed in Scilit:

• Compositional verification of real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A logical view of composition
  Theoretical Computer Science, 1993
• Composing specifications
  ACM Transactions on Programming Languages and Systems, 1993
• Program Design Calculi
  Published by Springer Nature ,1993
• The existence of refinement mappings
  Theoretical Computer Science, 1991
• Verification of Sequential and Concurrent Programs
  Published by Springer Nature ,1991
• Defining liveness
  Information Processing Letters, 1985
• A Survey of Verification Techniques for Parallel Programs
  Lecture Notes in Computer Science, 1985
• The drinking philosophers problem
  ACM Transactions on Programming Languages and Systems, 1984
• A Proof System for Communicating Sequential Processes
  ACM Transactions on Programming Languages and Systems, 1980