tklenze

Pinned Repositories

consensus_protocol
A simple consensus protocol alongside a simulator, implemented in Rust
Language:Rust00
isanet
IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols
Language:Isabelle00
monosat-ctl
The MonoSAT SMT solver with a CTL model checking theory
Language:C++10 2 00

tklenze's Repositories

tklenze/monosat-ctl
The MonoSAT SMT solver with a CTL model checking theory
Language:C++10 2 00
tklenze/consensus_protocol
A simple consensus protocol alongside a simulator, implemented in Rust
Language:Rust00
tklenze/isanet
IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols
Language:Isabelle00