Difference between revisions of "JavaFSMPlugin4"

From FSL
Jump to: navigation, search
Line 3: Line 3:
  
 
JavaFSM is an instance of [[MOP]] for Java and for [[FSMPlugin4|FSM]] specifications. It is obtained by running [[JavaMOP4|JavaMOP]] with [[FSMPlugin4|FSM]] specifications. Despite its simplicity, JavaFSM has conceptual (and potentially theoretical) value; many Java users prefer to specify properties exclusively as parametric finite state machines.
 
JavaFSM is an instance of [[MOP]] for Java and for [[FSMPlugin4|FSM]] specifications. It is obtained by running [[JavaMOP4|JavaMOP]] with [[FSMPlugin4|FSM]] specifications. Despite its simplicity, JavaFSM has conceptual (and potentially theoretical) value; many Java users prefer to specify properties exclusively as parametric finite state machines.
 +
 +
 +
<div style="position:relative; top:6px; left:170px;">[[http://kframework.org/tool/run/javamop?autoload=javamop/FSM/HasNext/HasNext.mop Open Full Tool Page]]</div><div class="mw-collapsible mw-collapsed" style="width:100%;"><br><br>
 +
<div class="mw-collapsible-content" style="width:100%;">
 +
<iframe src="http://kframework.org/tool/run_embed/javamop?autoload=javamop/FSM/HasNext/HasNext.mop" height="1200" width="100%" frameBorder="0" scrolling-x="no" scrolling-y="yes" style="margin-top:10px;"></iframe>
 +
</div>
 +
</div>

Revision as of 03:48, 25 November 2014

JavaFSM is an instance of MOP for Java and for FSM specifications. It is obtained by running JavaMOP with FSM specifications. Despite its simplicity, JavaFSM has conceptual (and potentially theoretical) value; many Java users prefer to specify properties exclusively as parametric finite state machines.


[Open Full Tool Page]


Personal tools
Namespaces

Variants
Actions
Navigation