Learning Assumptions for Compositional Verification

This publication has 20 references indexed in Scilit:

• Compositional model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Alternating-time temporal logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Interface Theories for Component-Based Design
  Published by Springer Nature ,2001
• Interface automata
  Published by Association for Computing Machinery (ACM) ,2001
• Behaviour Analysis of Distributed Systems Using the Tracta Approach
  Automated Software Engineering, 1999
• Checking safety properties using compositional reachability analysis
  ACM Transactions on Software Engineering and Methodology, 1999
• MOCHA: Modularity in model checking
  Published by Springer Nature ,1998
• Context constraints for compositional reachability analysis
  ACM Transactions on Software Engineering and Methodology, 1996
• Learning regular sets from queries and counterexamples
  Information and Computation, 1987
• Testing Software Design Modeled by Finite-State Machines
  IEEE Transactions on Software Engineering, 1978