figshare
Browse
pests-1.1-tacas.zip (538.21 kB)

PESTS version 1.1 (TACAS)

Download (538.21 kB)
software
posted on 2018-02-23, 11:13 authored by Gabriele CostaGabriele Costa, letterio.galletta@imtlucca.it, basin@inf.ethz.ch, chiara.bodei@unipi.it, degano@di.unipi.it
The Partial Evaluator of Simple Transition Systems (PESTS) is a tool for the analysis and synthesis of transition systems. Its main functionality is a partial evaluation method that, given a system A and a specification P generates the most general system B that, running in parallel with A, fulfils P.

This software package contains PESTS version 1.1 as it was submitted to the TACAS artifact evaluation process.

Funding

SNSF grant no. IZK0Z2_168370

History

Usage metrics

    Categories

    Keywords

    Formal VerificationPartial EvaluationController SynthesisTheoretical Computer ScienceApplied Computer Science

    Licence

    MIT

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC