PESTS

MaRDI QIDQ51566swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-89960-2_19

Source code repository https://github.com/gabriele-costa/pests

Described by source

• From natural projection to partial model checking and back

Cited in

(5)

• Natural projection as partial model checking
• CMC
• TCT
• libFAUDES
• MuDiv

This page was built for software: PESTS