Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Register
  • Sign in
  • Explore
  • Projects
    • Projects
  • Groups
    • Groups
  • Topics
    • Topics
  • Snippets
    • Snippets
Collapse sidebar

Gitlab will be offline for technical maintenance on 03/10/2023 at 18:30 (expected downtime approx - 2 hours).

  • Explore
  • Topics
  • Isabelle/HOL
I

Isabelle/HOL

Projects with this topic

  • Any
  • Assembly
  • Batchfile
  • C
  • C#
  • C++
  • CMake
  • CSS
  • Cuda
  • Dockerfile
  • HTML
  • Java
  • JavaScript
  • Jupyter Notebook
  • MATLAB
  • Makefile
  • Matlab
  • Objective-C
  • PHP
  • Perl
  • Python
  • Ruby
  • SCSS
  • Shell
  • TeX
  • TypeScript
  • Sort by
  • Updated date
  • Last created
  • Name
  • Name, descending
  • Most stars
  • Oldest updated
  • Oldest created
  • Hide archived projects
  • Show archived projects
  • Show archived projects only
  • I

    The IsaBIL Project / IsaBIL

    Attempt to implement "A formal specification for BIL: BIL Instruction Language" presented by BAP (https://github.com/BinaryAnalysisPlatform/bil) in Isabelle/HOL.

    Topics: Isabelle/HOL Verification BAP
    + 2 more
    0
    Updated Sep 30, 2023
    0 0 0 0
    Updated Sep 30, 2023