Skip to content

Galois software analysis and verification tool roadmap

  
11

Someday

6

Planned

6

In Progress

2

Next Release

This project doesn’t have any columns or cards.

Menu

Galois software analysis and verification tool roadmap #7

  
Updated May 19, 2022
This project is used for high-level tracking of the planned changes to the various software analysis and verification tools that Galois has developed. At the moment, this specifically includes Crux, Cryptol, and the Software Analysis Workbench (SAW), along with the various libraries that these tools share.

This project is used for high-level tracking of the planned changes to the various software analysis and verification tools that Galois has developed. At the moment, this specifically includes Crux, Cryptol, and the Software Analysis Workbench (SAW), along with the various libraries that these tools share.

For a more detailed view of planned changes, see the GitHub issues associated with the release milestones for each tool.

Linked repositories

Activity

    Loading activity

Archived cards

Loading archived cards…