New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Simplified toolbox for BinaryAnalysis #73

Open

guancio opened this issue Jun 5, 2019 · 1 comment

Labels

Collaborator

guancio commented Jun 5, 2019

A toolbox to use HolBA without any knowledge about HOL4
Requires a DSL to specify contracts and mechanism to compose theorems

guancio added the question label

Collaborator Author

guancio commented Jun 24, 2019

For Add memory should be possible one button solution plus bsl

totorigolo mentioned this issue

Short term verification goals #75

Open

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment