Dataset - B2FIND

Companion Material for the PhD thesis "Formal Specification and Verification ...

This archive contains the evaluation for "Formal Specification and Verification for Automated Production Systems". In particular, you find evaluation environments for Chapter 7...

You can also access this registry using the API (see API Docs).