Posts

Formal Software on ArcaTools

Set of online formal analysis tools (http://arcatools.org) developed together with Arca members, within the DaVinci and KLEE projects.
Formal Software on ArcaTools

Reading club on Reactive Programming

Taken within iMinds-Distrinet, led by the Network Embedded System’s group
Reading club on Reactive Programming

Friday puzzle

Brain teasers discussed within CWI colleagues in SEN3 groups during coffee breaks (2007-2009).
Friday puzzle