Re: FW: Safety vs Liveness

Subject: Re: FW: Safety vs Liveness
From: Moshe Vardi (vardi@cs.rice.edu)
Date: Wed Jun 27 2001 - 08:27:56 PDT

• Next message: Harry D Foster: "Fw: Accellera FV Sub-committee Requirements Document"
• Previous message: Harry Foster: "FW: Safety vs Liveness"
• Maybe in reply to: Harry Foster: "FW: Safety vs Liveness"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

>
> So my question is, aren't most required liveness conditions some how
> checkable using
> state invariant properties for all practical purposes?
>
> Sandeep
> skshukla@ics.uci.edu

No. Safety property reduce to reachability analysis, while
liveness and fairness property reduce to fair reachability
analysis.

Moshe

• Next message: Harry D Foster: "Fw: Accellera FV Sub-committee Requirements Document"
• Previous message: Harry Foster: "FW: Safety vs Liveness"
• Maybe in reply to: Harry Foster: "FW: Safety vs Liveness"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Wed Jun 27 2001 - 08:29:49 PDT