Software and Tools
Workcraft is an extendible open-source framework for working with interpreted graph models. In addition to modelling and simulation functionality it also provides a cross-platform front-endto established synthesis and verification back-end tools. Currently supported formalisms facilitate a variety of application domains, e.g. digital circuit design, instruction set synthesis, genetics and crime investigation.
See the the latest news for Workcraft development and its use in teaching, research and industry.