Skip to content

FAOC 2021 Examples and Case Studies (Journal Extension of FM'19 Star Set Paper)
Compare
Choose a tag to compare
@ttj ttj released this 16 May 16:51
· 736 commits to master since this release
faoc2021
7c799df
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 release contains the improved star set reachability methods implemented in NNV, used in the Formal Aspects of Computing (FAOC) journal special issue, extending the earlier Formal Methods (FM'19) star set paper.

The examples, case studies, etc., used in the paper are available in code/nnv/examples/Submission/FM2019_Journal:

https://github.com/verivital/nnv/tree/faoc2021/code/nnv/examples/Submission/FM2019_Journal

Assets 2
Loading