chisel software on GitHub

Software OPEN SOURCE

Chisel is a Maude tool for slicing programs whose semantics has been previously specified in Maude.
Share - Bookmark