[HTML][HTML] A formal, scalable approach to semantic interoperability
Scientific progress is increasingly dependent upon the acquisition, processing, and analysis
of large volumes of data. The validity of results and the safety of applications rely upon an …
of large volumes of data. The validity of results and the safety of applications rely upon an …
[HTML][HTML] Heterogeneous verification in the context of model driven engineering
In some cases it may be useful to represent a problem in many logical domains, since they
provide different perspectives for addressing formal verification. However, the maintenance …
provide different perspectives for addressing formal verification. However, the maintenance …
Integrating deduction and model finding in a language independent setting
Software artifacts are ubiquitous in our lives being an essential part of home appliances,
cars, cel phones, and even in more critical activities like aeronautics and health sciences. In …
cars, cel phones, and even in more critical activities like aeronautics and health sciences. In …
Model-driven engineering in the heterogeneous tool set
We have defined a unified environment that allows formal verification within the Model-
Driven Engineering (MDE) paradigm using heterogeneous verification approaches. The …
Driven Engineering (MDE) paradigm using heterogeneous verification approaches. The …