Abstract
FTS4VMC is a publicly available front-end tool for the static analysis and family-based model checking of a Featured Transition System (FTS). It can detect ambiguities in an FTS, disambiguate an ambiguous FTS, transform an FTS into a Modal Transition System (MTS), and interact with the VMC model checker for family-based verification. • FTS4VMC is a front-end tool with a user-friendly GUI for static analysis and family-based model checking of Featured Transition Systems (FTSs). • FTS4VMC expands the possible use cases of VMC to include also FTSs. • FTS4VMC is publicly available, well documented and easy to install and run.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
