Artur Meski's repositories
bdd-rtctlk
Real-time CTLK model checking for Interleaved Interpreted Systems
Language:C++000
contract
A signable contract that lives in a single file
Language:PHP000
pfm
Postfix Monitor (and Defender)
Language:Python000
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Language:C++NOASSERTION000
ta-splitting
Reachability testing in timed automata using pseudo-simulating abstract model generated on-the-fly and using zone splitting and DBMs
Language:C000