This project contains the analysis algorithms and their components, e.g., abstract domains, abstract reachability graphs, refinement strategies, precisions, etc. The formalism specific components ( e.g., the interpreter) are implemented in separate projects for the given formalism.
Files
Latest commit
analysis
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||