Pinned Repositories
cpp-terminal
Small header only C++ library for writing multiplatform terminal applications
fboesiger--generic-idea-plugin
fboesiger--silicon-idea-plugin
homepage
pp20-terminology
Parallel Programming (1st half): Terminology
showcasingverification
silicon-mauro-semantic-heaps-snapshots
Symbolic-execution-based verifier for the Viper intermediate verification language.
silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
silver
Definition of the Viper intermediate verification language.
mschwerhoff's Repositories
mschwerhoff/pp20-terminology
Parallel Programming (1st half): Terminology
mschwerhoff/showcasingverification
mschwerhoff/cpp-terminal
Small header only C++ library for writing multiplatform terminal applications
mschwerhoff/fboesiger--generic-idea-plugin
mschwerhoff/fboesiger--silicon-idea-plugin
mschwerhoff/homepage
mschwerhoff/silicon-mauro-semantic-heaps-snapshots
Symbolic-execution-based verifier for the Viper intermediate verification language.
mschwerhoff/silver
Definition of the Viper intermediate verification language.
mschwerhoff/voila-experimental
Voila is proof outline checker for fine-grained concurrency verification