finite state machine/automaton framework?

Jeroen Ruigrok/asmodai asmodai at
Fri Sep 3 12:27:08 PDT 2004

-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)> / asmodai / kita no mono
Free Tibet! |   |
To the dull mind nature is leaden. To the illumined mind the whole world
burns and sparkles with light...

More information about the Kernel mailing list