Sebastian Krings
Sebastian Krings
Home
Posts
Projects
Publications
Contact
Light
Dark
Automatic
Jens Bendisposto
Latest
Integrating Formal Specifications into Applications - The ProB Java API
Embedding High-Level Formal Specifications into Applications
Turning Failure into Proof: The ProB Disprover for B and Event-B
From Animation to Data Validation: The ProB Constraint Solver 10 Years On
Who watches the watchers: Validating the ProB Validation Tool
Turning Failure into Proof: Evaluating the ProB Disprover
B constrained
Cite
×