Searching for "A Tool for Checking ANSI-C Programs." – 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.

A tool for checking ANSI-C programs
by Edmund Clarke, Daniel Kroening, Flavio Lerda — 2004 — In Tools and Algorithms for the Construction and Analysis of Systems
…A Tool for Checking ANSI-C Programs Edmund Clarke, Daniel Kroening, and Flavio Lerda Carnegie…
Cited by 75 (8 self) – Add To MetaCart

Implicit Sleep Mode Determination in Power Management of Event-driven Deeply Embedded Systems........................................................................................ 37
by Hartmut Ritter, Kirsten Terfloth, Georg Wittenburg, Jochen Schiller (hrsg, Gi/itg Kuvs Fachgespräch, Drahtlose Sensornetze, Freie Universität, Freie Universität Berlin, Drahtlose Sensornetze, R. Sasnauskas, J. Á. Bitsch Link, M. H. Alizai, K. Wehrle, M. Stemick, A. Boah, H. Rohling, M. Baar, H. Will, J. Schiller, A. Dunkels, A. Reinhardt, M. Hollick, R. Steinmetz, Ch. Weyer, S. Unterschütz, V. Turau, M. H. Alizai, K. Wehrle, A. Becher, A. Sieber, K. Walther, R. Karnapke, A. Lagemann, J. Nolte — 2008
… on Computer and communications security. [5] E. Clarke, D. Kroening, and F. Lerda. A Tool for Checking ANSI-C…
Add To MetaCart

Showing 1 through 2.

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