Python library for defining and optimizing mathematical expressions
Tool support for the Z formal notation
Heterogeneous Software Development Accelerated
Modular Java framework for meta-heuristic optimization
A Free and Open Source Java Framework for Multiobjective Optimization
Petri net framework for security related modeling and reasoning.
Platform-level utilities on .NET Framework 4.0 (C#)