Streamlining Temporal Formal Verification over Columnar Databases

Bergami, Giacomo

doi:10.17605/OSF.IO/6Y8CV

Title	Authors

Streamlining Temporal Formal Verification over Columnar Databases

Contributors:

Giacomo Bergami

Date created: | Last Updated:

: DOI | ARK

Creating DOI. Please wait...

Create DOI

Category: Data

Description: Part of the dataset for our paper entitled "Streamlining Temporal Formal Verification over Columnar Databases". The rest of the dataset is available at our previous repository, https://osf.io/arxf8/

Projects
Registrations

Results: All Projects Results: My Projects Results: All Registrations Results: My Registrations

Files

Files can now be accessed and managed under the Files tab.

Citation

Recent Activity

Loading logs...

OSF does not support the use of Internet Explorer. For optimal performance, please switch to another browser.

This website relies on cookies to help provide a better user experience. By clicking Accept or continuing to use the site, you agree. For more information, see our Privacy Policy and information on cookie use.

Start managing your projects on the OSF today.

Free and easy to use, the Open Science Framework supports the entire research lifecycle: planning, execution, reporting, archiving, and discovery.

Create an Account Learn More Hide this message

Main content

Links to this project

Streamlining Temporal Formal Verification over Columnar Databases

Link other OSF projects

Files

Citation

Recent Activity

Start managing your projects on the OSF today.