Re: project deadlines
David Rager
Dr. Browne can clarify, but I'll take a first stab at your question.
Part (c) is really just an formalization of part (b). While (b) was
in plain English, (c) is in either LTL or CTL (formal languages that
aren't supposed to eliminate the ambiguity of English). You'll need
to create variables and predicates to complete part (c).
W.R.T. the tools that you will use to execute your program/model later
on, I've been working on a page that explains a bit about the tools
I've installed. It's not done yet, but if you'd like, you can check
it out here:
http://www.cs.utexas.edu/users/ragerdl/cs378/tools.html
David
On Mon, Sep 29, 2008 at 2:01 PM, *** wrote:
> All,
>
> We were looking for a little clarification on the coding part of the project
> deadlines. We know the code has to be implemented as soon as possible to
> begin the testing, but at what step is it actually required that the coding
> be complete? Would that be step (c), due this Thursday?