FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC

Full text


Institutional Research Information System University of Turin

Last time updated on 02/03/2023

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.