Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Kripke structure (model checking) (view), List of model checking tools (view), Abstract model checking (view), Principles of Model Checking (view), Region (model checking) (view), Signal (model checking) (view), Clock (model checking) (view)

searching for Model checking 90 found (283 total)

alternate case: model checking

Neil Immerman (332 words) [view diff] exact match in snippet view article find links to article

descriptive complexity, an approach he is currently applying to research in model checking, database theory, and computational complexity theory. Professor Immerman

Symposium on Logic in Computer Science (670 words) [view diff] exact match in snippet view article find links to article

Dill, "Model-checking for real-time systems" Jerry R. Burch, Edmund Clarke, Kenneth L. McMillan, David L. Dill, James Hwang, "Symbolic model checking: 10^20

Activity diagram (582 words) [view diff] exact match in snippet view article find links to article

embedded systems. It is possible to verify such a specification using model checking techniques. Specification and Description Language Business Process

Communicating sequential processes (5,757 words) [view diff] no match in snippet view article find links to article

analysis of CSP processes both through refinement checking, and LTL model-checking. ProB can also be used to verify properties of combined CSP and B specifications

Ramberg–Osgood relationship (1,154 words) [view diff] no match in snippet view article find links to article

showing a smooth elastic-plastic transition. As it is a phenomenological model, checking the fit of the model with actual experimental data for the particular

Device driver synthesis and verification (3,034 words) [view diff] exact match in snippet view article find links to article

dynamically linked to the compilers to do strict static analysis. Software model checking is the algorithmic analysis of programs to prove properties of their

AgentSpeak (492 words) [view diff] exact match in snippet view article find links to article

AgentSpeak as well as on formal verification of AgentSpeak programs using model checking. The language is also one of the most popular agent-oriented languages

Guarded Command Language (1,434 words) [view diff] no match in snippet view article find links to article

The Guarded Command Language (GCL) is a programming language defined by Edsger Dijkstra for predicate transformer semantics in EWD472. It combines programming

PragmaDev Studio (1,884 words) [view diff] no match in snippet view article find links to article

PragmaDev Studio is a modeling and testing software tool introduced by PragmaDev in 2002 dedicated to the specification of communicating systems. It was

List of formal systems (284 words) [view diff] exact match in snippet view article find links to article

a common temporal logic used by formal verification methods such as model checking Lambda calculus, a formulation of the theory of reflexive functions

Mireille Broucke (244 words) [view diff] case mismatch in snippet view article find links to article

supervised by Alberto Sangiovanni-Vincentelli, was Qualitative Analysis, Model Checking, and Controller Synthesis of Hybrid Systems. After postdoctoral studies

Orna Kupferman (512 words) [view diff] exact match in snippet view article find links to article

Orna (March 2000). "An automata-theoretic approach to branching-time model checking". Journal of the ACM. 47 (2): 312–360. doi:10.1145/333979.333987. S2CID 1216035

Pentium FDIV bug (2,536 words) [view diff] exact match in snippet view article find links to article

bug, a technique applicable to the SRT algorithm called "word-level model checking" was developed in 1996. Intel went on to use formal verification extensively

Duration calculus (211 words) [view diff] exact match in snippet view article find links to article

ISBN 3-540-40823-1. DCVALID: A tool for model-checking Duration Calculus formulae, TIFR, India. IDLVALID: Model checking dense time Duration Calculus formulae

Sandeep Shukla (392 words) [view diff] exact match in snippet view article find links to article

Electronics Engineers (IEEE) "for contributions to applied probablistic model checking for system design". Nano, Quantum and Molecular Computing Implications

Mihalis Yannakakis (1,448 words) [view diff] case mismatch in snippet view article find links to article

property. Along with Alex Groce and Doron Peled, he introduced Adaptive Model Checking, showing that when inconsistencies are present between a system and

Scott A. Smolka (385 words) [view diff] exact match in snippet view article find links to article

formal modeling and analysis of cyber-physical and biological systems, model checking, process algebra, and runtime verification. He is perhaps best known

Jan Hajek (mathematician) (218 words) [view diff] case mismatch in snippet view article

Retrieved 24 October 2016. Peled, Doron A; Wooldridge, Michael J (2009). Model Checking and Artificial Intelligence: 5th International Workshop. Springer. p

Petriscript (575 words) [view diff] no match in snippet view article find links to article

platform provides many tools to work on Petri nets, such as verifying and model-checking tools. Originally, simple Petri nets were created through graphic design

TAPAs model checker (489 words) [view diff] exact match in snippet view article find links to article

equivalences between concrete and abstract system descriptions or by model checking temporal formulas (expressed as μ-calculus or ACTL) over the obtained

Channel system (computer science) (2,797 words) [view diff] exact match in snippet view article

insertion of errors: 26 . It is also decidable over counter machine. The model checking problem consists in deciding whether given a system S {\displaystyle

Belief–desire–intention software model (2,129 words) [view diff] case mismatch in snippet view article find links to article

(Think-As-One) Living Systems Process Suite PROFETA Gwendolen (Part of the Model Checking Agent Programming Languages Framework) JACK Teams CogniTAO (Think-As-One)

Estimation of covariance matrices (4,024 words) [view diff] exact match in snippet view article find links to article

inter-relationships; to provide sample estimates that can be used for model checking. Estimates of covariance matrices are required at the initial stages

Loop-invariant code motion (596 words) [view diff] case mismatch in snippet view article find links to article

"Distributing and Parallelizing Non-canonical Loops". Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science. Vol

Box–Jenkins method (1,543 words) [view diff] exact match in snippet view article find links to article

likelihood estimation or non-linear least-squares estimation. Statistical model checking by testing whether the estimated model conforms to the specifications

FDR (software) (349 words) [view diff] exact match in snippet view article

Applications. In Klaus Havelund, John Penix, Willem Visser (editors), SPIN model checking and software verification, Springer-Verlag, Lecture Notes in Computer

Chaff algorithm (170 words) [view diff] case mismatch in snippet view article find links to article

(2015). "Boolean Satisfiability Solvers and Their Applications in Model Checking". Proceedings of the IEEE. 103 (11): 2021–2035. doi:10.1109/JPROC.2015

Temporal logic (3,807 words) [view diff] exact match in snippet view article find links to article

Logic. Blackwell. E. A. Emerson and Chin-Laung Lei, "Modalities for model checking: branching time logic strikes back", in Science of Computer Programming

Handbook of Automated Reasoning (414 words) [view diff] case mismatch in snippet view article find links to article

Description Logics, pp. 1581–1634. Edmund Clarke, Holger Schlingloff. Model Checking, pp. 1635–1790. Christian Fermüller, Alexander Leitsch, Ullrich Hustadt

Archicad (1,569 words) [view diff] exact match in snippet view article find links to article

and scheduling. Archicad is also directly linked via API to Solibri's Model checking and quality assurance tools. In addition, Graphisoft provides a direct

Symposium on Principles of Programming Languages (204 words) [view diff] case mismatch in snippet view article find links to article

(PLAN-X) Types in Language Design and Implementation (TLDI) Verification, Model Checking and Abstract Interpretation (VMCAI) Languages for Inference (LAFI) International

International Conference on Concurrency Theory (954 words) [view diff] exact match in snippet view article find links to article

Baier, Joost-Pieter Katoen & Holger Hermanns: "Approximate symbolic model checking of continuous-time Markov chains." (CONCUR 1999) Rajeev Alur, Thomas

Default logic (3,223 words) [view diff] exact match in snippet view article find links to article

is Δ 2 P [ log ] {\displaystyle \Delta _{2}^{P[\log ]}} -complete; Model checking deciding whether a propositional interpretation is a model of an extension

Gernot Heiser (1,543 words) [view diff] exact match in snippet view article find links to article

Blackham, Bernard; Heiser, Gernot (April 2013). "Sequoll: a framework for model checking binaries" (PDF). IEEE Real-Time and Embedded Technology and Applications

Michael Butler (computer scientist) (270 words) [view diff] exact match in snippet view article

(originated by J.-R. Abrial), especially tool support such as ProB (advanced model checking for B which allows for the simulation of Event-B machines in the Rodin/Eclipse

Automatic parallelization (1,697 words) [view diff] case mismatch in snippet view article find links to article

"Distributing and Parallelizing Non-canonical Loops". Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science. Vol

Anatol Slissenko (1,869 words) [view diff] exact match in snippet view article find links to article

straight lines in 3-dimensional space that solves a known open problem. A model checking algorithm for a rather powerful logic with an operator of probability

Bhubaneswar Mishra (308 words) [view diff] case mismatch in snippet view article find links to article

as principal investigator at the Center for Malicious Behavior and Model Checking. Mishra is a fellow of the Association for Computing Machinery (2007)

Modeling language (2,902 words) [view diff] exact match in snippet view article find links to article

extensive tool support over the years, particularly in the areas of model checking, graphically oriented simulation, and software verification. Southbeach

Stochastic Petri net (293 words) [view diff] case mismatch in snippet view article find links to article

Amparore, E. G. (2014). "A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking". Quantitative Evaluation of Systems. Lecture Notes in Computer Science

Milner Award (919 words) [view diff] exact match in snippet view article find links to article

theoretical and practical development of stochastic and quantitative model checking" 2019 Eugene Myers American "for his development of computational techniques

Ecological regression (273 words) [view diff] exact match in snippet view article find links to article

Phillip N.; Minnite, Lorraine C. (2001). "Models, assumptions and model checking in ecological regressions" (PDF). Journal of the Royal Statistical Society

Formal Aspects of Computing (546 words) [view diff] exact match in snippet view article find links to article

Verification tools and theorem proving. State-exploration tools and model checking. Formal semantics for widely used notations and methods. Formal approaches

BCS Lovelace Medal (842 words) [view diff] exact match in snippet view article find links to article

contributions to multi-agent systems 2019 Marta Kwiatkowska – for probabilistic model checking for the data-rich world 2018 Gordon Plotkin – for contributions to semantic

Mkstemp (615 words) [view diff] case mismatch in snippet view article find links to article

ISBN 9780596003944. Chen, Hao; Dean, Drew; Wagner, David A. (2004). "Model Checking One Million Lines of C Code" (PDF). Network and Distributed System Security

Software assurance (3,035 words) [view diff] exact match in snippet view article find links to article

contain any defects or vulnerabilities. This includes techniques such as model checking, theorem proving, and static analysis.[1] Software testing and verification

List of Unified Modeling Language tools (840 words) [view diff] exact match in snippet view article find links to article

profile, SDL-RT, SDL. The model can be simulated and can be exported to model checking tools. Full testing environment integrated based on TTCN-3. Prosa UML

Interval graph (2,640 words) [view diff] exact match in snippet view article find links to article

Thomassé, Stéphan; Watrigant, Rémi (2022), "Twin-width I: Tractable FO model checking", Journal of the ACM, 69 (1): A3:1–A3:46, arXiv:2004.14789, doi:10.1145/3486655

Binary decision (785 words) [view diff] case mismatch in snippet view article find links to article

Computerworld: 15. Clarke, E. M.; Grumberg, Orna; Peled, Doron (1999), Model Checking, MIT Press, p. 51, ISBN 978-0-262-03270-4. Ben-Akiva, Moshe E.; Lerman

XPDL (1,280 words) [view diff] case mismatch in snippet view article find links to article

Koblenz-Landau, April 2004, PDF. Volker Gruhn, Ralf Laue, "Using Timed Model Checking for Verifying Workflows", José Cordeiro and Joaquim Filipe (Eds.): Proceedings

Statistical inference (5,520 words) [view diff] exact match in snippet view article find links to article

on asymptotic theory or simulation techniques such as bootstrapping. Model checking: After obtaining the parameter estimates and assessing their uncertainty

Existential theory of the reals (3,817 words) [view diff] exact match in snippet view article find links to article

satisfiability of geometric quantum logic in any fixed dimension >2; Model checking interval Markov chains with respect to unambiguous automata. the algorithmic

Gul Agha (computer scientist) (527 words) [view diff] case mismatch in snippet view article

Technology University of Michigan Known for Actor Model, Statistical Model Checking, Actor Programming Languages Spouse Jennifer S. Cole Awards Fellow of

Brownout (software engineering) (549 words) [view diff] exact match in snippet view article

2015. Proactive self-adaptation under uncertainty: a probabilistic model checking approach. In Proceedings of the 2015 10th Joint Meeting on Foundations

Slicing Petri nets (296 words) [view diff] exact match in snippet view article find links to article

Yasir Imtiaz Khan and Matteo Risoldi. Optimizing algebraic petri net model checking by slicing. International Workshop on Modeling and Business Environments

Sadie Creese (364 words) [view diff] exact match in snippet view article find links to article

Oxford. Her doctoral thesis title was "Data independent induction : CSP model checking of arbitrary sized networks" and her thesis adviser was Bill Roscoe

Mode (user interface) (3,235 words) [view diff] case mismatch in snippet view article

Usability First An Example of a mode error in Excel John Rushby. Using Model Checking to Help Discover Mode Confusions and Other Automation Surprises. A paper

Limor Fix (199 words) [view diff] exact match in snippet view article find links to article

the IEEE-1850 standard, and her work in the areas of SAT solvers and model checking for both hardware and distributed software systems". "Dr. Limor Fix

Rodin tool (816 words) [view diff] no match in snippet view article find links to article

charts ProB Provider: University of Düsseldorf Function: Animation and Model-checking of Event-B models; Counterexamples for false proof goals, in particular

Frank van Harmelen (1,015 words) [view diff] exact match in snippet view article find links to article

R. J.; Ten Teije, A.; Van Harmelen, F.; Serban, R. (2009). "Using model checking for critiquing based on clinical guidelines". Artificial Intelligence

Random testing (1,396 words) [view diff] exact match in snippet view article find links to article

implemented e.g. by NASA's Java Path Finder (which blends testing with model checking by limiting the state space to a reasonable size by various means) Constrained

Clique-width (2,057 words) [view diff] exact match in snippet view article find links to article

Thomassé, Stéphan; Watrigant, Rémi (2022), "Twin-width I: Tractable FO model checking", Journal of the ACM, 69 (1): A3:1–A3:46, arXiv:2004.14789, doi:10.1145/3486655

Sum and Product Puzzle (1,778 words) [view diff] case mismatch in snippet view article find links to article

Impossible Problem by Torsten Sillke Two Mathematicians Problem on mathforum Sum and Product problem on MathWorks Cody Model Checking Sum and Product

Internet of things (20,212 words) [view diff] exact match in snippet view article find links to article

Riverside have proposed IotSan, a novel practical system that uses model checking as a building block to reveal "interaction-level" flaws by identifying

Posterior predictive distribution (2,510 words) [view diff] case mismatch in snippet view article find links to article

ISBN 978-1-4398-4095-5. Ntzoufras, Ioannis (2009). "The Predictive Distribution and Model Checking". Bayesian Modeling Using WinBUGS. Wiley. ISBN 978-0-470-14114-4.

List of PSPACE-complete problems (1,807 words) [view diff] exact match in snippet view article find links to article

Stochastic satisfiability Linear temporal logic satisfiability and model checking Type inhabitation problem for simply typed lambda calculus Integer circuit

Gene regulatory network (6,096 words) [view diff] exact match in snippet view article find links to article

text mining, curated databases, network inference from massive data, model checking and other information extraction technologies for this purpose. Genes

Petri net unfoldings (335 words) [view diff] exact match in snippet view article find links to article

unfoldings, PhD Thesis, Newcastle University". Khomenko, Victor (2003). "Model checking based on prefixes of petri net unfoldings, PhD thesis, Newcastle University"

Bing Liu (scientist) (936 words) [view diff] case mismatch in snippet view article

Pathogenesis, "Nature Neuroscience, under review (2020). B Liu. "A Model Checking-based Analysis Framework for Systems Biology Models", The 57th ACM/IEEE

Errors-in-variables model (5,731 words) [view diff] exact match in snippet view article find links to article

ISBN 978-1400823833. Koul, Hira; Song, Weixing (2008). "Regression model checking with Berkson measurement errors". Journal of Statistical Planning and

Loop dependence analysis (1,968 words) [view diff] case mismatch in snippet view article find links to article

"Distributing and Parallelizing Non-canonical Loops". Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science. Vol

Twin-width (4,053 words) [view diff] exact match in snippet view article find links to article

ordered vertices, and logical predicates that can test this ordering, model checking is still fixed-parameter tractable for hereditary graph families of

Eulynx (1,321 words) [view diff] no match in snippet view article find links to article

unspecified, like the event buffers in state machines. To make use of model-checking and model-based testing, the specification has to be manually translated

JAUS Tool Set (1,279 words) [view diff] exact match in snippet view article find links to article

definition of a service into a PROMELA model, for validation by the SPIN model checking tool. Using PROMELA to model client and server interfaces will allow

Large-scale Complex IT Systems (1,790 words) [view diff] case mismatch in snippet view article find links to article

Kwiatkowska, G. Norman and D. Parker. (2009) PRISM: Probabilistic Model Checking for Performance and Reliability Analysis. ACM SIGMETRICS Performance

SBML (4,338 words) [view diff] exact match in snippet view article find links to article

"Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli". Bioinformatics

Circumscription (logic) (3,464 words) [view diff] exact match in snippet view article

297–352. ISBN 0198537476. Cadoli, M. (November 1992). "The complexity of model checking for circumscriptive formulae". Information Processing Letters. 44 (3):

Differential testing (1,149 words) [view diff] exact match in snippet view article find links to article

Kuenning, P. Liu, S.A. Smolka, W. Su, and E. Zadok, “Metis: file system model checking via versatile input and state exploration,” In 22nd USENIX Conference

Bloom filter (10,780 words) [view diff] case mismatch in snippet view article find links to article

Verification for SPIN", Proceedings of the 11th International Spin Workshop on Model Checking Software, Springer-Verlag, Lecture Notes in Computer Science 2989 Dillinger

Signal transition graphs (3,883 words) [view diff] case mismatch in snippet view article find links to article

ISBN 978-3-9819263-5-4. S2CID 236150734. Khomenko, Victor (2003). Model Checking Based on Prefixes of Petri Net Unfoldings, PhD thesis (PDF). Newcastle

B-Prolog (2,583 words) [view diff] exact match in snippet view article find links to article

developing real-world applications such as natural language processing, model checking, and machine learning applications. B-Prolog implements a tabling mechanism

Paris Kanellakis (3,747 words) [view diff] exact match in snippet view article find links to article

2012-12-12. "ACM bestows Kanellakis Award for development of 'symbolic model checking,' used in testing computer system designs" (Press release). ACM. 26

Conflict-driven clause learning (2,467 words) [view diff] exact match in snippet view article find links to article

pattern generation, software package dependencies, hardware and software model checking, and cryptography. Related algorithms to CDCL are the Davis–Putnam algorithm

Stable model semantics (4,921 words) [view diff] no match in snippet view article find links to article

\{p,s\}} that we started with. Consequently, that set is a stable model. Checking in the same way the other 15 sets consisting of the atoms p , q , r

Kinetic logic (3,101 words) [view diff] exact match in snippet view article find links to article

behind the functional organization and kinetic behavior of molecules. Model checking techniques have also been applied to models built through kinetic logic

CELAR (2,527 words) [view diff] case mismatch in snippet view article find links to article

USA, 2014 [C19] Dependable Horizontal Scaling Based On Probabilistic Model Checking, A. Naskos, E. Stachtiari, A. Gounaris, P. Katsaros, D.Tsoumakos, I

Danyu Lin (1,665 words) [view diff] exact match in snippet view article find links to article

marginal models for multivariate failure time data, robust inference, and model checking. The statistical methods he developed have been incorporated into major

Cooperating Validity Checker (1,994 words) [view diff] case mismatch in snippet view article find links to article

Bloem, Roderick (eds.), "Satisfiability Modulo Theories", Handbook of Model Checking, Cham: Springer International Publishing, pp. 305–343, doi:10

Matthias von Davier (3,061 words) [view diff] exact match in snippet view article find links to article

distribution models, computational statistics, person-fit, item-fit, model checking, and hierarchical model extensions for categorical data analysis. Focusing

List of fellows of IEEE Computer Society (124 words) [view diff] exact match in snippet view article find links to article

architecture 2014 Sandeep Shukla For contributions to applied probablistic model checking for system design 2006 Heung-Yeung Shum For contributions to image-based