Keywords: d-Calculus, GTS Logic, Specification, Verification, Visualization

Affiliation: Division of Computer Science and Engineering, Chonbuk National University, Republic of Korea

ADOxx library - V 3.0

The modelling tool developed in the project is packaged and can be downloaded by interested communities members as a standalone application. The download package is made available to all members, community members are informed accordingly when a new release is made available