OSM: Leveraging Model Checking for Observing Dynamic 1 behaviors in Aspect-Oriented Applications.
Anas M. R. AlsobehPublished in: CoRR (2024)
Keyphrases
- model checking
- aspect oriented
- dynamic behaviors
- temporal logic
- object oriented
- software development
- formal verification
- automated verification
- temporal properties
- development process
- process model
- model checker
- verification method
- business applications
- aspect oriented programming
- transition systems
- formal specification
- symbolic model checking
- architectural model
- bounded model checking
- computation tree logic
- formal methods
- expert systems
- inter organizational
- software product line
- epistemic logic
- data model
- metamodel
- information sharing
- petri net
- software engineering
- np hard
- xml documents
- decision making
- databases
- real time