Pests: Partial Evaluator Of Simple Transition Systems

Software OPEN SOURCE
Costa, Gabriele; Basin, David; Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio;
(2018)
  • Publisher: Zenodo
  • Related identifiers: doi: 10.5281/zenodo.1135110
  • Subject: CSP | SCP | Biotechnology | Partial Evaluator | synthesizing | PESTS | Submodule Construction Problem | Physiology | TACAS paper | tool | Controller Synthesis Problem | Ecology | component | Simple Transition Systems | model | Science Policy | projection
    • FOR: 80699 Information Systems not elsewhere classified | 39999 Chemical Sciences not elsewhere classified

<p>In the TACAS paper, it is proved that natural projection reduces to partial model checking and,&nbsp;<br> when cast in a common setting, the two are equivalent.<br> In addition, there it was presented a quotienting algorithm and introduced a tool for the partia... View more
Share - Bookmark