Unknown

Dataset Information

0

Towards a Shared Specification Repository


ABSTRACT: Many formal methods research communities lack a shared set of benchmarks. As a result, many research articles in the past have evaluated new techniques on specifications that are specifically tailored to the problem or not publicly available. While this is great for proving the concept in question, it does not offer any insights on how it performs on real-world examples. Additionally, with machine learning techniques gaining more popularity, a larger set of public specifications is required. In this paper, we present our public set of B machines and urge contribution. As we think this to be an issue in other communities in scope of the ABZ as well, we are also interested in specifications expressed in other formalisms, for example Alloy, TLA

SUBMITTER: Raschke A 

PROVIDER: S-EPMC7242027 | biostudies-literature | 2020 Apr

REPOSITORIES: biostudies-literature

Similar Datasets

| S-EPMC6763407 | biostudies-other
| S-EPMC10399972 | biostudies-literature
| S-EPMC3727653 | biostudies-literature
2023-08-10 | GSE227348 | GEO
| S-EPMC7439658 | biostudies-literature
2022-11-15 | PXD005002 | Pride
| S-EPMC9825561 | biostudies-literature
| S-EPMC6952187 | biostudies-literature
| S-EPMC10848998 | biostudies-literature
| S-EPMC10433576 | biostudies-literature