Event-B to SMT-LIB

From Event-B

Revision as of 08:26, 25 August 2009 by imported>Pascal (→‎Creation)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Contents

1 Introduction
2 Specification
3 Implementation
4 Bibliography

Introduction

Specification

Implementation

A first plug-in prototype is accessible under the following respositories:

_exploratory/carinepascal/fr.systerel.decert
_exploratory/carinepascal/fr.systerel.decert.tests

Bibliography

DECERT, DEduction and CERTification
C. Pascal, [http://wiki.event-b.org/images/B2SMTLIB.pdf From Event-B lemmas to SMT-LIB benchmarks, May 2009.

Retrieved from ‘https://wiki.event-b.org/index.php?title=Event-B_to_SMT-LIB&oldid=4330’

Design

Navigation menu