Keyword

model checking

Description: Model checking is a formal verification method that determines whether a computational model satisfies specified properties.

Primary topic: Formal Methods in Verification (57%)

Wikidata ID: wiki/Q1569697

OpenAlex ID: keywords/model-checking

Applied Regression Analysis

2005 · Draper, Norman Richard 1931-, Smith, Harry · Technometrics · 17,923

Multiple imputation using chained equations: Issues and guidance for practice

2010 · Ian R. White, Patrick Royston, et al. · Statistics in Medicine · 9,752

Model checking

1996 · E. M. Clarke, Orna Grümberg, et al. · 6,810

An Introduction to Kernel and Nearest-Neighbor Nonparametric Regression

1992 · N. S. Altman · The American Statistician · 5,720

Principles of Model Checking

2008 · Christel Baier, Joost-Pieter Katoen · 4,811

Model Checking

1999 · Edmund M. Clarke, Bernd–Holger Schlingloff · 4,212

The model checker SPIN

1997 · G.J. Holzmann · IEEE Transactions on Software Engineering · 3,825

A Temporal Logic of Nested Calls and Returns

2004 · Rajeev Alur, Kousha Etessami, et al. · Lecture notes in computer science · 3,332

Measurement Error Models

1988 · L. A. Stefanski, Wayne Fuller, et al. · Journal of Business and Economic Statistics · 2,794

Design and synthesis of synchronization skeletons using branching time temporal logic

2005 · Edmund M. Clarke, E. Allen Emerson · Springer eBooks · 2,219

Uppaal in a nutshell

1997 · Kim G. Larsen, Paul Pettersson, et al. · International Journal on Software Tools for Technology Transfer · 2,216

The Statistical Analysis of Failure Time Data

1982 · John P. Klein, J. D. Kalbfleisch, et al. · Technometrics · 2,215

Spin model checker, the: primer and reference manual

2003 · Gerard J. Holzmann · 2,020

The theory of hybrid automata

2002 · T.A. Henzinger · Proceedings - Symposium on Logic in Computer Science · 1,840

Models for Exceedances Over High Thresholds

1990 · A. C. Davison, R. L. Smith · Journal of the Royal Statistical Society Series B (Statistical Methodology) · 1,725

A Tutorial on Uppaal

2004 · Gerd Behrmann, Alexandre David, et al. · Lecture notes in computer science · 1,675

Patterns in property specifications for finite-state verification

1999 · Matthew B. Dwyer, George S. Avrunin, et al. · Proceedings/Proceedings - International Conference on Software Engineering · 1,480

Alternating-time temporal logic

2002 · Rajeev Alur, Thomas A. Henzinger, et al. · Journal of the ACM · 1,395

Multivariate Statistical Modelling Based on Generalized Linear Models

1994 · Ludwig Fahrmeir, Gerhard Tutz · Springer series in statistics · 1,391

A logic for reasoning about time and reliability

1994 · Hans Hansson, Bengt Jonsson · Formal Aspects of Computing · 1,372

PDF

Bayesian Data Analysis

2014 · Paul Hewson · Journal of the Royal Statistical Society Series A (Statistics in Society) · 1,367

Model Checking Programs

2003 · Willem Visser, Klaus Havelund, et al. · Automated Software Engineering · 1,343

AgentSpeak(L): BDI agents speak out in a logical computable language

1996 · Anand S. Rao · Lecture notes in computer science · 1,295

Model checking and abstraction

1994 · Edmund M. Clarke, Orna Grumberg, et al. · ACM Transactions on Programming Languages and Systems · 1,211

PDF

Applied Smoothing Techniques for Data Analysis: The Kernel Approach with S-PLUS Illustrations

1999 · Karen Kafadar, Adrian W. Bowman, et al. · Journal of the American Statistical Association · 1,191

Works count: 34,840

Citation count: 490,700