Rainbow(ID:4983/rai002)
Began: 0
Languages for 0
languages
Collection of sublanguages, primarily used for formal hardware verification, but actual independant languages as well
Machester University 1998
Resources
MU Rainbow home page
external link