Tutorial on Model Checking: Modelling and Verification in Computer Science

Algebraic Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-85101-1_2 ◽

2008 ◽

pp. 16-21 ◽

Cited By ~ 4

Author(s):

Armin Biere

Keyword(s):

Model Checking ◽

Computer Science

Download Full-text

Spin Model Checking and Software Verification: Proceedings of the 7th International SPIN Workshop, Stanford, CA, U.S.A., August 30-September 1, 2000. By Klaus Havelund, John Penix and Willem Visser (eds.). Lecture Notes in Computer Science, Volume 1885, Published by Springer-Verlag, Berlin, Germany, 2000. ISBN: 3-540-41030-9, 343 pages. Price: U.K. ?31.00, U.S.A. $62.00, Germany DM 90.00, Soft Cover.

Software Testing Verification and Reliability ◽

10.1002/stvr.229 ◽

2001 ◽

Vol 11 (3) ◽

pp. 197-198

Author(s):

Rob Hierons

Keyword(s):

Model Checking ◽

Computer Science ◽

Software Verification ◽

Spin Model ◽

Science Volume ◽

Lecture Notes

Download Full-text

Model-Checking of Infinite Graphs Defined by Graph Grammars

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)01231-4 ◽

2000 ◽

Vol 5 ◽

pp. 1 ◽

Cited By ~ 2

Author(s):

O BURKART ◽

Y QUEMENER

Keyword(s):

Model Checking ◽

Infinite Graphs ◽

Graph Grammars

Download Full-text

Design Theory and Computer Science

10.1017/cbo9780511608896 ◽

1991 ◽

Cited By ~ 29

Author(s):

Subrata Dasgupta

Keyword(s):

Computer Science ◽

Design Theory

Download Full-text

A Computer Science Fair: Inching Toward Intelligibility

Contemporary Psychology ◽

10.1037/001396 ◽

1997 ◽

Vol 42 (11) ◽

pp. 1007-1008

Author(s):

Rodney L. Lowman

Keyword(s):

Computer Science ◽

Science Fair

Download Full-text

Proceedings of the 3rd Annual International Conference on Computer Science Education: Innovation & Technology (CSEIT 2012) and Software Engineering & Applications (SEA 2012), 19-20 November 2012, Singapore

PsycEXTRA Dataset ◽

10.1037/e518122013-001 ◽

2012 ◽

Keyword(s):

Science Education ◽

Software Engineering ◽

Computer Science ◽

Computer Science Education ◽

Engineering Applications ◽

International Conference ◽

Education Innovation ◽

Annual International Conference

Download Full-text

Increasing retention of women and minorities in computer science

PsycEXTRA Dataset ◽

10.1037/e522082008-001 ◽

2008 ◽

Author(s):

Donald D. Davis ◽

Shannon K. Meert ◽

Debra A. Major ◽

Janis V. Sanchez-Hucles ◽

Sandra J. Deloatch

Keyword(s):

Computer Science

Download Full-text

Using task analytic models and phenotypes of erroneous human behavior to discover system failures using model checking

PsycEXTRA Dataset ◽

10.1037/e578742012-006 ◽

2010 ◽

Author(s):

Matthew L. Bolton ◽

Ellen J. Bass

Keyword(s):

Model Checking ◽

Human Behavior ◽

System Failures ◽

Analytic Models

Download Full-text

An architecture for systematic tracking of skill and competence level progression in Computer Science

PsycEXTRA Dataset ◽

10.1037/e605122012-014 ◽

2011 ◽

Author(s):

Richard Gluga ◽

Judy Kay ◽

Tim Lever ◽

Raymond Lister

Keyword(s):

Computer Science ◽

Competence Level

Download Full-text

Asserting parallel computational thinking into an undergraduate computer science curriculum

PsycEXTRA Dataset ◽

10.1037/e605122012-018 ◽

2011 ◽

Author(s):

Edusmildo Orozco ◽

Rafael Arce-Nazario ◽

Peter Musial ◽

Cynthia Lucena-Roman ◽

Zoraida Santiago

Keyword(s):

Computer Science ◽

Science Curriculum ◽

Computational Thinking ◽

Computer Science Curriculum

Download Full-text

Interfaces in Computer Science and Operations Research: Advances in Metaheuristics, Optimization, and Stochastic Modeling Technologies

Journal of the Operational Research Society ◽

10.1038/sj.jors.2600009 ◽

1998 ◽

Vol 49 (2) ◽

pp. 183-184

Author(s):

F Shoen

Keyword(s):

Computer Science ◽

Stochastic Modeling ◽

Operations Research

Download Full-text