| 
|
Quote: automatic prover for liveness properties; extension of fair termination prover; handles large systems written in C
Topic:
safety, liveness, and system properties
Quotation Skeleton
In this paper we describe a new algorithm … as an extension to the TERMINATOR tool, which … [LNCS 4144, 2006, p. 415-418] … [p. 266] Our prototype tool represents the first known … It supports infinite-state programs with arbitrary nesting of … Checking liveness can be reduced to checking fair … [Vardi, Annals of Pure and Applied Logic 51:79-98 1991]. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: safety, liveness, and system properties (22 items)