Software Open Access
Implementation of the Combined Approach
Bernhard Beckert;
Simon Bischof;
Mihai Herda;
Michael Kirsten;
Marko Kleine Büning;
Holger Klein;
Joachim Müssig
GeoJSON Export
{
"type": "FeatureCollection",
"features": []
}
31
1
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 31 | 31 |
| Downloads | 1 | 1 |
| Data volume | 411.4 MB | 411.4 MB |
| Unique views | 30 | 30 |
| Unique downloads | 1 | 1 |
Indexed in
- Publication date:
- August 3, 2019
- DOI:
-
- Keyword(s):
- Noninterference Formal Methods Static Analysis Deductive Theorem Proving Information Flow
- Related identifiers:
- Documented by
- Part of
- Supplementary material
- License (for files):
- GNU Library General Public License v2 or later