Skip to content

Consistency Checking of Scenario-based Product Line Specifications

by mcr on March 22nd, 2012

In collaboration with Joel Greenyer (Paderborn University, Politecnico di Milano) and Amir Molzam Sharifloo (Politecnico di Milano), we have developed a tool for specifying product lines as scenarios. Using our previous NuSMV extension, the tool is also able to verify the consistency of a specification. See more here.

From → News

Comments are closed.