Published February 20, 2020 | Version v1
Other Open

Artifact -- Highly Automated Formal Proofs over Memory Usage of Assembly Code

Authors/Creators

  • 1. Virginia Tech

Description

This is the artifact corresponding to the TACAS'20 submission entitled "Highly Automated Formal Proofs over Memory Usage of Assembly Code". This is the exact version as submitted an approved by the TACAS Artifact Evaluation committee.

Files

tacas2020_artifact.zip

Files (395.7 MB)

Name Size Download all
md5:6e91eeefc30d9cd01f8928a8ff05c796
395.7 MB Preview Download