MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Model Checking (Abstract)." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

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

282 documents found, showing 1 through 10. Next 10 →

ATOM

Model checking and abstraction
by Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria — 1994 — ACM Transactions on Programming Languages and Systems
…A Prediction Model for the Combination of Class Characteristics in Large OO Applications Peter J…
Cited by 521 (40 self) – Add To MetaCart

Model Checking with Abstract Types
by Kirsten Winter, Kirsten Winter — 2001 — Workshop on Software Model Checking SOFTMC01
… OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 01-16 Model Checking with Abstract Types Kirsten…
Cited by 2 (2 self) – Add To MetaCart

Refining Model Checking by Abstract Interpretation
by Patrick Cousot, Radhia Cousot — 1999 — Automated Software Engineering
…. Manufactured in The Netherlands. Refining Model Checking by Abstract Interpretation PATRICK COUSOT RADHIA…
Cited by 32 (4 self) – Add To MetaCart

Model checking for abstract state machines
by Kirsten Winter — 1997 — Journal of Universal Computer Science
…Model Checking for Abstract State Machines Kirsten Winter GMD FIRST Rudower Chaussee 5, D-12489…
Cited by 25 (8 self) – Add To MetaCart

A.: Model checking and abstraction to the aid of parameterized systems
by Lenore Zuck, Amir Pnueli — 2004 — Computer Languages, Systems, and Structures 30(3–4
…Model Checking and Abstraction to the Aid of Parameterized Systems (A survey) ⋆ Lenore Zuck a Amir…
Cited by 5 (2 self) – Add To MetaCart

On Interpreting Results of Model-Checking with Abstraction
by Marsha Chechik — 2000 — University of Toronto
…On Interpreting Results of Model-Checking with Abstraction Marsha Chechik Department of Computer…
Cited by 8 (3 self) – Add To MetaCart

Fair Model Checking of Abstractions (Extended Abstract)
by Dennis Dams, Rob Gerth, Orna Grumberg
…Fair Model Checking of Abstractions (Extended Abstract) Dennis Dams Rob Gerth y Orna Grumberg…
Add To MetaCart

Program analysis as model checking of abstract interpretations
by David Schmidt, Bernhard Steffen — 1998
…Program Analysis as Model Checking of Abstract Interpretations David Schmidt Bernhard Steffen…
Cited by 41 (1 self) – Add To MetaCart

Symbolic Bounded Model Checking of Abstract State Machines
by Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte, Margus Veanes — 2009
…Symbolic Bounded Model Checking of Abstract State Machines Microsoft Research Technical Report MSR…
Add To MetaCart

States vs. traces in model checking by abstract interpretation
by Roberto Giacobazzi, Francesco Ranzato — 2002 — In Static Analysis (SAS ’02), 9th International Symposium
… States vs. Traces in Model Checking by Abstract Interpretation Roberto Giacobazzi1 and Francesco…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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