SPLverifier: Model Checking of Software Product Lines

Overview





Uni Logo

Software Product Line Group

Software Systems Lab

ContactΒΆ

SPLverifier has been developed at the University of Passau. For more information on the project, please contact the developers: