Skip to content

Relational Reasoning via SMT Solving, Encode Alloy example, Filesystem in Z3 #96

Open
Open
Relational Reasoning via SMT Solving, Encode Alloy example, Filesystem in Z3#96
Assignees
ferhateratairemfidandan
Labels
AlloySMTTranslationcompleted

Description

@ferhaterata
ferhaterata
opened on May 26, 2017

Encode FileSystem Abstraction in Alloy and SMTLIB (using Z3) based on the rules defined in the following papers:

Relational Reasoning via SMT Solving - paper.pdf
Relational Reasoning via SMT Solving - slide.pdf

@harunuyar

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

AlloySMTTranslationcompleted

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions