Skip to content

@Practical-Formal-Methods Practical-Formal-Methods

Change the repository type filter

All

    Repositories list

    18 repositories

    • mod_stable_baselines3

      Public
      PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.
      Python
      •
      MIT License
      •1.7k•0•0•0•Updated Sep 29, 2023Sep 29, 2023

    • clam-racetrack

      Public
      Neuro-aware program analyzer
      Python
      •
      Apache License 2.0
      •1•7•0•0•Updated Mar 21, 2023Mar 21, 2023

    • pi-fuzz

      Public
      π-fuzz Policy Testing Framework
      Python
      •
      Apache License 2.0
      •1•5•0•0•Updated Mar 21, 2023Mar 21, 2023

    • fuzzbench-public

      Public
      FuzzBench - Fuzzer benchmarking as a service.
      Python
      •
      Apache License 2.0
      •269•0•0•2•Updated Oct 3, 2022Oct 3, 2022

    • mod_gym

      Public
      A toolkit for developing and comparing reinforcement learning algorithms.
      Python
      •
      Other
      •8.6k•0•0•0•Updated Aug 3, 2022Aug 3, 2022

    • tailor

      Public
      Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints
      C
      •
      Apache License 2.0
      •37•20•0•0•Updated Nov 24, 2021Nov 24, 2021

    • AFLplusplus

      Public
      The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
      C
      •
      Apache License 2.0
      •1k•1•0•1•Updated Oct 4, 2021Oct 4, 2021

    • AFL-public

      Public
      american fuzzy lop - a security-oriented fuzzer
      C
      •
      Apache License 2.0
      •633•2•0•1•Updated Sep 12, 2021Sep 12, 2021

    • queryFuzz

      Public
      QueryFuzz implements a metamorphic testing approach to test Datalog engines.
      Python
      •
      Apache License 2.0
      •5•36•0•0•Updated Jun 8, 2021Jun 8, 2021

    • Racetrack-Benchmark

      Public
      C
      •1•4•1•0•Updated May 18, 2021May 18, 2021

    • Libra

      Public
      A static-analysis framework for certifying fairness of deep neural networks
      Python
      •
      Mozilla Public License 2.0
      •6•0•0•0•Updated Apr 26, 2021Apr 26, 2021

    • blossom

      Public
      Fuzzes input program to generate ranges of numerical kernels
      C
      •
      Other
      •2•0•0•0•Updated Feb 14, 2021Feb 14, 2021

    • neurips2020_synthesizing-tasks_code

      Public
      Python
      •3•0•0•0•Updated Oct 18, 2020Oct 18, 2020

    • DeepSearch

      Public
      Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"
      Python
      •12•12•0•0•Updated Aug 27, 2020Aug 27, 2020

    • storm

      Public
      A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
      testingfuzzingsmt
      SMT
      •
      Apache License 2.0
      •11•85•1•0•Updated Aug 27, 2020Aug 27, 2020

    • procgen

      Public
      Procgen Benchmark: Procedurally Generated Game-Like Gym Environments
      C++
      •
      MIT License
      •210•1•0•0•Updated May 28, 2020May 28, 2020

    • bran

      Public
      Static analysis framework for EVM bytecode
      Go
      •
      GNU Lesser General Public License v3.0
      •8•28•0•0•Updated Jan 29, 2020Jan 29, 2020

    • adiff

      Public
      Tool for differentially testing soundness and precision of program analyzers
      verification
      Haskell
      •
      MIT License
      •6•11•1•1•Updated Oct 19, 2018Oct 19, 2018