Skip to content
View mariachris's full-sized avatar
60 followers · 8 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull SharkAchievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull SharkAchievement: Starstruck

Highlights

  • Pro

Organizations

@MPI-SWS @Practical-Formal-Methods

Block or report mariachris

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. storm storm Public

    Forked from Practical-Formal-Methods/storm

    A blackbox mutational fuzzer for detecting critical bugs in SMT solvers

    SMT 1

  2. DeepSearch DeepSearch Public

    Forked from Practical-Formal-Methods/DeepSearch

    Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"

    Python

  3. adiff adiff Public

    Forked from Practical-Formal-Methods/adiff

    A tool for finding differences between program verifiers

    Haskell

  4. bran bran Public

    Forked from Practical-Formal-Methods/bran

    A static analysis framework for EVM bytecode

    Go 1