https://github.com/tudo-aqua/ifflow

https://github.com/tudo-aqua/ifflow

Last synced: 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/tudo-aqua/ifflow
• Owner: tudo-aqua
• Created: 2023-07-17T13:27:40.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-07-17T13:30:05.000Z (over 1 year ago)
• Last Synced: 2023-07-17T17:52:24.580Z (over 1 year ago)
• Language: Java
• Size: 201 KB
• Stars: 0
• Watchers: 5
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Extention of the IFSPEC Benchmark

This repository stores an extention of the JavaSource IFSPEC Benchmark set.

Judgements are stored in YAML-files.

The YAML-files for ```securibench-micro``` are created by the ```securibench-micro/generate-svcomp-benchmarks.sh```.

The original benchmark set can be found [here](www.spp-rs3.de/IFSpec).

We provide a ```verifier-stub``` package on [Github](https://github.com/tudo-aqua/verifier-stub).