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...

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:

Sponsored Links: