zoi (11:53:23)
maybe opening bridge logic with traffic lights and shit

zoi (11:52:33)
and that kind of proving correctness of programs is usually quite limited to maybe the autopilot of planes or elevator logic or stuff like that

d_vibe (11:43:16)
Aha

zoi (11:41:42)
no, I don't think it ever caught on. My university had some big EU grant to work on it, so we did.

d_vibe (11:39:20)
Never heard of Event-B

zoi (11:14:19)
Event-B was the latest shit when I was studying. It was going to be the next B method!

mirrorbird (11:13:16)
i knew that (well i had forgotten the name of the thing)

zoi (11:11:25)
waste of money

zoi (11:11:23)
imagine someone used to pay me to model shit in Event-B

mirrorbird (11:11:22)
but, what if you forget how to read

Space Debris

BSC (Oliver Mayer)

arneex

Time Left: 4:54