Sponsoroidut linkit:

UPPAAL

UPPAAL 4.0.6

UPPAAL on integroitu työkalu mallintamisessa, validointiin ja tarkastuksiin reaaliaikaisia ​​järjestelmiä mallinnetaan verkkojen ajastettu automaatti, laajennetaan tietotyyppejä (rajoittaa kokonaislukuja, paneelit, jne.).UPPAAL CORA on haara UPPAAL for...

rgf

rgf 0.2.0.1

RGF on tällä hetkellä kokeellinen yritys RSpec-herra BDD testaus puitteet Python.Periaatteessa pyrimme syntaksille tämänsuuntaisia:alkaen RGF tuonti kuvailla, sekanssa kuvaamaan ("That Thing"):& Nbsp;it ("testi laskeva")& Nbsp; def spec (yhteydessä):&...

Sponsoroidut linkit:

Sponsoroidut linkit: