Submit Software

PROGRAMS BY fast2armc.sf.net

  • Fast to ARMC translator Free

    The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.