Searching for "Automatic Generation of Invariants and Intermediate Assertions." – 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.

Automatic Generation of Invariants and Intermediate Assertions
by Nikolaj Bjørner, In U. Montanari (ed, First International Conference, Anca Browne, Zohar Manna — 1995
…Automatic Generation of Invariants and Intermediate Assertions ? In U. Montanari (ed.), First…
Cited by 38 (2 self) – Add To MetaCart

NASA-CR-205329 "/ _ _'" " " Software Development Technologies for Reactive, Objective Real-Time, and Hybrid Systems
by P. I. Professor, Zohar Manna
…. , [BBM97] N.S. Bjorner, A. Browne, and Z. Manna. Automatic generation of invariants and intermediate…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB