Next: What is Logic? Up: CS206 Lecture 01 Formal Previous: Formal Methods Approach

Traffic Lights Property Specification

$\begin{figure}\centerline{\epsfig{figure=pics/draw2.eps,width=4in}}\end{figure}$

Difficulties in using natural language to specify properties

G. Sivakumar 2002-12-31