finite state machine/automaton framework?

Matthew Dillon dillon at
Fri Sep 3 12:38:24 PDT 2004

:Are you talking about VHDLs here or more the formal method side (Maude,
:ACL2, Z Notation, VDM)?
:Jeroen Ruigrok van der Werven <asmodai(at)> / asmodai / kita no mono
    I was thinking VHDL and the like.

					Matthew Dillon 
					<dillon at xxxxxxxxxxxxx>

More information about the Kernel mailing list