Sebastian Krings
Sebastian Krings
Home
Posts
Projects
Publications
Contact
Light
Dark
Automatic
ProB
B constrained
In a previous work, we applied constraint solving techniques to problems like invariant preservation and deadlock freedom checking. The …
Sebastian Krings
,
Jens Bendisposto
,
Ivaylo Dobrikov
,
Michael Leuschel
PDF
Cite
Project
«
Cite
×