Pages that link to "Item:Q2918986"

The following pages link to Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (Q2918986):

Displaying 2 items.

• A formal verification technique for behavioural model-to-model transformations (Q682361) (← links)
• Inductive Invariant Checking with Partial Negative Application Conditions (Q2947222) (← links)