31 search results - page 4 / 7 » An Introduction to the Tool Ticc |
MMS
2006
13 years 7 months ago
2006
ICSM
2009
IEEE
13 years 5 months ago
2009
IEEE
A build system breathes life into source code, as it configures and directs the construction of a software system from textual source code modules. Surprisingly, build languages a...
ZUM
2005
Springer
14 years 1 months ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
ALIFE
2004
13 years 7 months ago
2004
The Avida digital evolution platform is a software tool used to perform experimental evolution research with self-replicating computer programs ("digital organisms"). Av...
APN
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present an approach and associated computer tool support for conducting distributed state space exploration for Coloured Petri Nets (CPNs). The distributed state space...