'Better verifiable' diaporamas de présentation

Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification

Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification. Marcel van Amstel Mark van den Brand Luc Engelen. Problem Statement. Problem Statement. Abstraction. Traditional approach. ?. Model. Verification model. Implementation. Abstraction.

314 views • 17 slides