Malte Schwerhoff's repositories
pp20-terminology
Parallel Programming (1st half): Terminology
cpp-terminal
Small header only C++ library for writing multiplatform terminal applications
Language:C++NOASSERTION000
Language:CSS000
silicon-mauro-semantic-heaps-snapshots
Symbolic-execution-based verifier for the Viper intermediate verification language.
silver
Definition of the Viper intermediate verification language.
Language:ScalaMPL-2.0000
voila-experimental
Voila is proof outline checker for fine-grained concurrency verification
Language:ScalaNOASSERTION000