Sponsorerede links:

UPPAAL

UPPAAL 4.0.6

UPPAAL er et integreret værktøj miljø til modellering, validering og verificering af realtidssystemer modelleret som netværk af tidsindstillet automater, forlænget med datatyper (afgrænset heltal, arrays, etc.).UPPAAL CORA er en gren af ​​UPPAAL for Cost...

rgf

rgf 0.2.0.1

RGF er et aktuelt eksperimenterende forsøg på en RSpec-esque BDD test rammer for Python.Dybest set er vi sigter efter syntaks retning:fra RGF import beskrive detmed beskrive ("Det Thing"):& Nbsp;it ("test desc")& Nbsp; def spec (kontekst):& Nbsp; # test...

Sponsorerede links:

Sponsorerede links: