An Extension of Dynamic Logic for Modelling OCL’s @pre Operator

This publication has 7 references indexed in Scilit:

• Interpreting the object constraint language
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An Extension of Dynamic Logic for Modelling OCL’s @pre Operator
  Published by Springer Nature ,2001
• A Dynamic Logic for the Formal Verification ofJava Card Programs
  Published by Springer Nature ,2001
• Dynamic Logic
  Published by MIT Press ,2000
• Dynamic Logic
  Published by Springer Nature ,1984
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981
• Semantical consideration on floyo-hoare logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1976