Skip to content

First Public Release

Latest
Latest
Compare
Choose a tag to compare
@kiniry kiniry released this 03 Feb 23:28
· 33 commits to develop since this release
v1.0-first-public-release
54ac1d8
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

This is the first public release of the HARDENS demonstrator and associated artifacts.

This release was made, live, on 22 January 2023, at the end of Joe Kiniry's invited talk "Reflections on Transition" at Dagstuhl Seminar 23041, whose focus was on Integrated Rigorous Analysis in Cyber-Physical Systems Engineering.

Assets 2
Loading