Applying Formal Reasoning to Model Transformation: The Meeduse solution

Akram Idani, Germán Vega, Michael Leuschel
2019 International Conference on Software Technologies: Applications and Foundations  
We are not experts in circuit design and hence the application is limited to the cases provided in the TTC'2019 call for solutions. • We provide transformation rules written in a formal language which is assisted by automated reasoning tools; and hence we believe that domain experts may be attracted by our solution. Indeed, translating a truth table (TT) into a binary decision diagram (BDD), has several applications in safety critical systems where formal methods became a strong requirement.
dblp:conf/staf/IdaniVL19 fatcat:24ojfnfrwbgrtd7edvjnf5jejq