cmatheja

cmatheja's Stars

• viperproject/prusti-dev

  A static verifier for Rust, based on the Viper verification infrastructure.

  Language:Rust1.6k21475109

• dafny-lang/Dafny-VMC

  Dafny-VMC: a Library for Verified Monte Carlo Algorithms

  Language:Dafny13532

• moves-rwth/attestor

  A Shape Analysis Tool based on Graph Grammars

  Language:Java10804

• maxhaslbeck/QuantSepCon

  Quantitative Separating Connectives

  Language:Isabelle3410

• moves-rwth/attestor-examples

  A collection of examples and benchmarks for attestor.

  Language:Java2700