Searching for "Translating Software Designs for Model Checking." – 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.

J.C.: Translating software designs for model checking
by Fei Xie, Vladimir Levin, Robert P. Kurshan, Jamesc. Browne — 2004
…Translating Software Designs for Model Checking � Fei Xie , Vladimir Levin , Robert P. Kurshan…
Cited by 1 (1 self) – Add To MetaCart

Integration of Model Checking into Software Development Processes
by James C. Browne, E. Allen Emerson, Robert P. Kurshan, Aloysius K. Mok, Dewayne E. Perry, Fei Xie, Fei Xie — 2004
…-up approach based on model checking software designs through translation. 1.2.1 Translating Software Designs…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 2.

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