Projects | Open Source Science

Projects

Updated 9 months ago

vercors • Science 26%

The VerCors verification toolset for verifying parallel and concurrent software

c concurrency java opencl openmp parallelism separation-logic software-analysis vercors-toolset verification viper

Updated 9 months ago

protocol-verification-refinement • Science 26%

Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"

automated-verification implementation protocol-verification separation-logic symbolic-security tamarin