From natural projection to partial model checking and back

DOI10.1007/978-3-319-89960-2_19zbMath1423.68275OpenAlexW2798243757MaRDI QIDQ2324221

Letterio Galletta, Gabriele Costa, Chiara Bodei, Pierpaolo Degano, David A. Basin

Publication date: 16 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-89960-2_19

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Natural projection as partial model checking ⋮ PESTS

Uses Software

• TCT
• libFAUDES
• MuDiv

This page was built for publication: From natural projection to partial model checking and back