Searching for "Proving the Correctness of Behavioural Implementations." – 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.

Proving the Correctness of Behavioural Implementations
by Michel Bidoit, Rolf Hennicker — 1995 — Proc. AMAST '95, Springer LNCS 936
…Proving the Correctness of Behavioural Implementations Michel Bidoit*, Rolf Hennicker** *LIENS…
Cited by 11 (4 self) – Add To MetaCart

Algebraic specification and program development by stepwise refinement (Extended Abstract)
by Donald Sannella — 1999 — 9th international workshop, LOPSTR ’99
…) but then it is very difficult to prove the correctness of behavioural implementations. There is a better way out…
Cited by 6 (0 self) – Add To MetaCart

Showing 1 through 2.

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