A technique for specifiying mu-calculus formulas using UML state-machine diagrams.
highcrit / psm Goto Github PK
View Code? Open in Web Editor NEWA technique for specifiying mu-calculus formulas using UML state-machine diagrams.
License: GNU General Public License v3.0