Labs
Links to portfolio projects where I experiment in building things which takes more time than an evening. Some projects will also have complementary commentary in the form of essays stored in Research.
-
In progress
RailCheck
Tick the signalling rules for a small railway station. An AI converts each rule into logic; Foras, a theorem prover, tries to verify that the logic the AI generated is safe to run on the railway system. The logic can be tested to see if it results in a crash. The same logic can then be applied on a toy simulation of the Groningen tram network.
- 32 rule sets, each proved and checked by brute force
- 7 named safety properties
- interlocking code generated and checked against the proofs