Travelled to:1 × Spain
1 × United Kingdom
Collaborated with:M.Leuschel J.Bendisposto
Talks about:disprov (1) physic (1) failur (1) proof (1) model (1) infer (1) event (1) unit (1) pro (1)
Person: Sebastian Krings
DBLP: Krings:Sebastian
Contributed to:
20152013Wrote 2 papers:
- SEFM-2015-KringsBL #proving
- From Failure to Proof: The ProB Disprover for B and Event-B (SK, JB, ML), pp. 199–214.
- SEFM-2013-KringsL #modelling #physics
- Inferring Physical Units in B Models (SK, ML), pp. 137–151.