Featured

Testbed

Software

NuSMV

free

Andrew Heard

NuSMV is a symbolic model checker for the analysis of synchronous finite...

custom verification tools, as a testbed for formal verification techniques

free

Media Art Online

wija is a testbed for pursuing all possibilities of communication on the Internet...

wija is a testbed for pursuing all possibilities