[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Unproved TCCs in tablewise.pvs



> I am studying the examples of decision tables(decision_tables.dmp)
> supplied by your website and found 2 unproved TCCs left. Why?

That's the whole point of this example and is explained in detail in
the report from it comes (the false TCCs are identifying flaws in the
specification).  The web page directs you to the correct section of
the report.

John Rushby
-------