Searching for "Verification by Augmented Finitary Abstraction." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Verification by Augmented Finitary Abstraction
by Yonit Kesten, Amir Pnueli — 1999 — Information and Computation
…Verification by Augmented Finitary Abstraction Yonit Kesten y Amir Pnueli z August 31, 1999…
Cited by 22 (10 self) – Add To MetaCart

Verifying Liveness by Augmented Abstraction
by Yonit Kesten, Amir Pnueli — 1999 — In Annual Conference of the European Association for Computer Science Logic (CSL'99), Lect. Notes in Comp. Sci
…. The paper deals with the proof method of verification by augmented finitary abstraction (vaa), which…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB