Sebastian Krings
Sebastian Krings
Home
Posts
Projects
Publications
Contact
Light
Dark
Automatic
Model Checking
From Animation to Data Validation: The ProB Constraint Solver 10 Years On
Various solvers are linked via reification and Prolog co-routines. The overall challenge of ProB is to solve constraints in full …
Michael Leuschel
,
Jens Bendisposto
,
Ivaylo Dobrikov
,
Sebastian Krings
,
Daniel Plagge
Cite
Project
DOI
«
Cite
×