Personal tools
You are here: Home Events Lab Lunch by Colin Stirling

Lab Lunch by Colin Stirling

From model checking and equivalence checking to type checking

When Oct 15, 2013
from 01:00 PM to 02:00 PM
Where MF2
Add event to calendar vCal

Introductory talk on how model checking higher-order systems can be reduced to type checking and some work in progress which does the same for equivalence checking (of pushdown automata).

Document Actions