There is a newer version of the record available.

Published November 22, 2024 | Version 1.0.0
Software Open

Nacpa: Native Checking with Parallel Analyses

Creators

  • 1. ROR icon Ludwig-Maximilians-Universität München

Contributors

  • 1. ROR icon Ludwig-Maximilians-Universität München

Files

nacpa.zip

Files (181.3 MB)

Name Size Download all
md5:4e3485a5652dbddfd82ff66bb831a6ae
181.3 MB Preview Download

Additional details

Software

Repository URL
https://gitlab.com/sosy-lab/software/nacpa
Programming language
Go
Development Status
Active