automated-verification

There are 0 repository under automated-verification topic.

esbmc / esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
c cpp solidity-contracts bmc incremental-learning k-induction smt-solver kotlin automated-testing automated-verification cp-solver python cheri
Language:C 267
SoundVerification / wireguard
Tamarin Model & Verified Go Implementation of the WireGuard VPN Key Exchange Protocol
implementation protocol-verification separation-logic tamarin automated-verification symbolic-security
Language:Haskell 4
Po-code / dsu
A different implementation of Decentralized Systems and Blockchain Technologies
automated-verification decentralized proof-of-legitimacy proof-of-ownership
0
viperproject / protocol-verification-refinement
Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"
automated-verification implementation protocol-verification separation-logic symbolic-security tamarin
Language:Haskell