fabiopakk
Computer scientist specialized in the development of programming languages and tools such as compilers, static analyzers and formal verifiers. Expert in C++.
CocotecUnited Kingdom
Pinned Repositories
carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
docs.scala-lang
The Scala Documentation website
nagini
Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
silver
Definition of the Viper intermediate verification language.
viperserver
HTTP server that manages verification requests to different tools from the Viper tool stack.
nagini
Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
docs.scala-lang
The Scala Documentation website
silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
silver
Definition of the Viper intermediate verification language.
fabiopakk's Repositories
fabiopakk/carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
fabiopakk/docs.scala-lang
The Scala Documentation website
fabiopakk/nagini
Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
fabiopakk/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
fabiopakk/silver
Definition of the Viper intermediate verification language.
fabiopakk/viperserver
HTTP server that manages verification requests to different tools from the Viper tool stack.