395 followers
In which my advisor and I go to infinite loops and beyond in order to prove a pancake maker behaves properly. May include blueberries. Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs https://t.co/VbaAwdrB4l #BehavioralPr