Artur Meski's repositories
pfm
Postfix Monitor (and Defender)
Language:Python000
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
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
bdd-rtctlk
Real-time CTLK model checking for Interleaved Interpreted Systems
Language:C++000
contract
A signable contract that lives in a single file
000