Sponsored Links:

UPPAAL

UPPAAL 4.0.6

UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).UPPAAL CORA is a branch of UPPAAL for Cost Optimal...

Sponsored Links:

rgf

rgf 0.2.0.1

rgf is a currently experimental attempt at an RSpec-esque BDD testing framework for Python.Basically we're aiming for syntax along these lines:from rgf import describe, itwith describe("That Thing"): @it("test desc") def spec(context): #...

Sponsored Links:

qc

qc 0.1

qc is a testing tool that lets you write properties that you expect to hold true, and let the computer generate randomized test cases to check that these properties actually hold. For example, if you have written compress and decompress functions for...