Formal Specification Websites
Z User Group
The Z User Group exists to promote use and development of the Z notation, a formal specification language for computer-based systems.
Not Applicable
$
8.95
Time-Rover
Time-Rover Software is a leader in UML-based modeling, specification, validation, and verification of safety-critical software. Time-Rover Software's Eclipse statechart based UML modeling and V&V tools are used by the DoD and NASA.
Not Applicable
$
8.95
