Find research datasets worth reusing
Search datasets from major research repositories and use ShareScore to quickly assess how well each record supports discovery, access, and reuse.
9
datasets available to search
ShareScore release 0.9.0
Dataset results
9 results for “Formal Methods”
SMTLIB2.6 translation of proof obligations from the B formal method
<p>These files have been produced from the <a href="https://doi.org/10.5281/zenodo.7050797">POG files</a> using the program ppTransSmt, distributed with Atelier B.</p> <p>The source code of this version of ppTransSmt correspond to git commit `abb8ad04003803ea3683d8069363681e92308ebf` (in the private repository<br> of Atelier B).<br> </p>
Proof obligations from the B formal method
<p>Proof obligations generated with Atelier B, an IDE for the B method and Event-B.</p> <p>The files are in the POG format.</p>
Supplementary Material for "Formal methods in dependable systems engineering: a survey of professionals from Europe and North America"
<p>This report contains supplemental material for <a href="https://link.springer.com/article/10.1007%2Fs10664-020-09836-5">this paper</a>, including a detailed analysis of responses to certain questions, further visualizations of the collected data, details on our analysis of related work, and a copy of the whole questionnaire. This material was shared for the period of peer review and has been significantly updated, extended, and included in <a href="https://link.springer.com/article/10.1007%2Fs10664-020-09836-5">this journal publication</a>.</p>
Formal Methods in Railways: a Systematic Mapping Study - List of Primary Studies and Data Extraction
<p>This Excel file includes the list of papers analyzed in the systematic mapping study titled "Formal Methods in Railways: a Systematic Mapping Study". The study has been submitted for publication, and its preprint is also included in this repository. </p>
FM-Tools Release 2.2: Data Set of Metadata about Tools for Formal Methods (SV-COMP 2025, Test-Comp 2025)
<h1>Collection of Information about Formal-Methods Tools</h1> <h2>Motivation</h2> <p>There are many tools available that implement formal-methods approaches. This repository collects meta data about the tools, such that it becomes easier to reuse, integrate, and cooperate with formal-methods tools.</p> <p>A <a href="https://www.sosy-lab.org/research/pub/2024-Podelski65.Find_Use_and_Conserve_Tools_for_Formal_Methods.pdf">description</a> of the structure of this repository can be found in an article.</p> <p>A <a href="https://fm-tools.sosy-lab.org/">formatted listing</a> of some of the data in this repository can be found on a generated web site.</p> <p>A <a href="https://fm-tools.sosy-lab.org/schema.html">schema definition</a> of the data files in this repository can be found on a generated web site.</p>
Formal Methods for NFA Equivalence: QBFs, Witness Extraction, and Encoding Verification
<p>Supplemental material to the paper.</p>
Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data
<p>Model, data, and a script to a paper of respective name</p>
Goal Structuring Notation for Formal Methods in the Safety Case
<p>A Goal Structuring Notation goal structure for arguing safety of an Automated Driving System by the use of formal methods.</p>
Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method
<p>Replication package of the paper: "Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method." <br>Submitted to the 37th edition of the IEEE Conference on Software Engineering Education and Training (CSEE&T), co-located with ICSE 2025. </p>
ScienceDex guides
Understand access before you commit
These curated guides explain access requirements, typical timelines, costs, and reuse considerations for widely used research datasets.
Allen Brain Atlas
Allen Brain Atlas is an Allen Institute collection of brain map atlases, datasets, APIs, and analysis tools covering mouse, human, and non-human primate brain resources.
Annotated Behaviour and Observability Dataset (ABODe)
ABODe is a University of Edinburgh DataShare dataset for behavior classification in group-housed mice using home-cage video, identities, bounding boxes, ground-plate positions, and annotator labels.
DANDI Archive for NWB datasets
DANDI is a BRAIN Initiative archive for publishing and sharing neurophysiology data, including electrophysiology, optophysiology, and behavioral data packaged as NWB and related standards.
International Brain Laboratory public data
The International Brain Laboratory public data releases expose standardized mouse decision-making experiments, including Neuropixels recordings, widefield calcium imaging, behavior, and session metadata accessed through the ONE API.
OpenNeuro
OpenNeuro is a free, open platform for sharing neuroimaging datasets, with public search, dataset pages, and download paths for web, S3, DataLad, and the OpenNeuro CLI.