MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Model Checking Software" – sorted by Relevance.

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

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

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

ATOM

Modular Model Checking of Software
by Karen Laster, Orna Grumberg — 1997 — In Conference on Tools and Algorithms for the Construction and Analysis of Systems
… Modular Model Checking of Software Karen Laster Orna Grumberg Computer Science Department…
Cited by 17 (0 self) – Add To MetaCart

Model Checking of Software for
by Bastian Schlich, Bastian Schlich
…Aachen Department of Computer Science Technical Report Model Checking of Software…
Add To MetaCart

Model Checking of Software Processes
by Barbara Staudt Lerner
…Model Checking of Software Processes Barbara Staudt Lerner Williams College lerner…
Add To MetaCart

Specification and Generation of Environment for Model Checking of Software Components
by Pavel Parizek, Frantisek Plasil — 2006
…FESCA 2006 Specification and Generation of Environment for Model Checking of Software Components…
Cited by 12 (5 self) – Add To MetaCart

A Case Study in Model Checking Software Systems
by Jeannette M. Wing, Mandana Vaziri-farahani — 1997 — Science of Computer Programming
…A Case Study in Model Checking Software Systems Jeannette M. Wing Computer Science Department…
Cited by 15 (0 self) – Add To MetaCart

Model Checking Software Systems: A Case Study
by Jeannette M. Wing, Mandana Vaziri-farahani — 1995
…Model Checking Software Systems: A Case Study Jeannette M. Wing and Mandana Vaziri-Farahani y…
Cited by 15 (0 self) – Add To MetaCart

Model checking software via abstraction of loop transitions
by Natasha Sharygina, James C. Browne — 2003 — IN ETAPS: FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE
…Model Checking Software via Abstraction of Loop Transitions Natasha Sharygina 1 and James C…
Cited by 2 (1 self) – Add To MetaCart

Mixed symbolic representations for model checking software programs
by Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivančić — 2006 — In Formal Methods and Models for Codesign
…Mixed Symbolic Representations for Model Checking Software Programs Zijiang Yang 1 Chao Wang 2…
Cited by 3 (2 self) – Add To MetaCart

Combining Static Analysis and Model Checking for Software Analysis
by Guillaume Brat, Willem Visser — 2001 — Proc. ASE 2001
…Combining Static Analysis and Model Checking for Software Analysis Guillaume Brat Kestrel/NASA Ames…
Cited by 9 (0 self) – Add To MetaCart

F.: Model checking software at compile time
by Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch — 2007 — In: Proc. of the 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE
… of Software Engineering, June 6–8, 2007, Shanghai, China. Copyright c○IEEE Model Checking Software at Compile…
Cited by 3 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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