Searching for "Automatically Checking an Implementation against Its Formal Specification." – 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.

Automatically Checking an Implementation against Its Formal Specification
by Sergio Antoy, Dick Hamlet — 2000 — IEEE Transactions on Software Engineering
… is ANTOY AND HAMLET: AUTOMATICALLY CHECKING AN IMPLEMENTATION AGAINST ITS FORMAL SPECIFICATION 57…
Cited by 40 (2 self) – Add To MetaCart

Index Terms — Infotainment Human Machine Interface
by Hemant Sharma, Dr. Roger Kuvedu-libla, Dr. A. K. Ramani
…, Telelogic. March 2003. [11] Antoy, S., Hamlet, D.: Automatically checking an implementation against its…
Add To MetaCart

Showing 1 through 2.

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