Learn More
Formal verification of software is a perennial problem and an inclusion to formal verification challenges is AOP (Aspect Oriented programs). Likewise, several contrary formal verification approaches exist for OOP (Object Oriented programs) but unable to deliver same robustness for AOP verification and also the proposed approaches to verify AOP seem to be(More)
  • 1