finite state machine/automaton framework?

[Jeroen Ruigrok/asmodai]

-On [20040903 20:22], Matthew Dillon (dillon at xxxxxxxxxxxxxxxxxxxx) wrote:
>    Well, there are several languages used for describing hardware and/or
>    simulating hardware, but none of them are really applicable for 
>    in-kernel use.

Are you talking about VHDLs here or more the formal method side (Maude,
ACL2, Z Notation, VDM)?

-- 
Jeroen Ruigrok van der Werven <asmodai(at)wxs.nl> / asmodai / kita no mono
Free Tibet! http://www.savetibet.org/ | http://www.tibet.nu/
http://www.tendra.org/   | http://www.in-nomine.org/
To the dull mind nature is leaden. To the illumined mind the whole world
burns and sparkles with light...