ArmborstL

Pinned Repositories

• vercors

  The VerCors verification toolset for verifying parallel and concurrent software

  Language:Scala541059924

• vercors-web

  Language:HTML01361

• carbon

  Verification-condition-generation-based verifier for the Viper intermediate verification language.

  Language:Scala29641019

• silicon

  Symbolic-execution-based verifier for the Viper intermediate verification language.

  Language:Scala78664130

ArmborstL's Repositories