Search results
Create the page "Model checking" on this wiki! See also the search results found.
- * verification techniques (model checking, equivalence checking,6 KB (682 words) - 10:18, 14 April 2020
- analysis, model-checking, verification, calculation, reusable7 KB (979 words) - 23:37, 14 October 2008
- * Formal specification, specification validation, testing, and model checking for high assurance systems6 KB (748 words) - 14:43, 27 December 2015
- defining both the model of systems (architecture, language design, semantics) model or as a tool for the analysis of systems. In particular, the workshop6 KB (823 words) - 14:28, 14 December 2008
- - Parallel Model Checking techniques5 KB (617 words) - 12:59, 18 January 2009
- recent years through the introduction of model checking, automated and correctness by design, correctness by contract, and model-driven2 KB (255 words) - 13:00, 18 January 2009
- - model checking algorithms6 KB (872 words) - 13:00, 18 January 2009
- |Title=2nd Workshop on MODEL-BASED TESTING IN PRACTICE |Superevent=5th European Conference on Model-Driven Architecture Foundations and Applications 20095 KB (693 words) - 01:41, 14 April 2011
- | Title = SPIN Workshop on Model Checking of Software ...to state-space and path exploration techniques, as implemented in the SPIN model checker and other software verification tools. The workshop aims to encoura2 KB (238 words) - 16:34, 27 February 2009
- - Formal methods applied to model-driven - Model checking;7 KB (1,094 words) - 11:42, 29 September 2016
- ...onstandard computing models; algebraic and categorical methods; logics and model checking; principles of programming languages; program analysis and transformation;2 KB (282 words) - 11:28, 21 April 2021
- theory, compositionality, model-checking, automated theorem such as analysis and verification tools, synthesis tools, model6 KB (801 words) - 17:06, 27 February 2009
- ...Methods for Special Applications, Practice, Extensions, XML, Open Source, Model Development, Network Modeling, Distributed Simulation and Industry, Modelin ...tion; Special simulation tools and environments; Meta-models and automatic model generation; Graphical simulation environments and simulation software tools38 KB (4,832 words) - 17:07, 27 February 2009
- software: model-checking, abstraction, refinement, code synthesis, =20 testing, monitoring, debugging, model extraction4 KB (504 words) - 16:43, 27 December 2015
- * Model-driven architecture (MDA) for MAS; * Model checking for agent-oriented systems;8 KB (1,153 words) - 22:41, 23 March 2009
- * model checking to software verification5 KB (699 words) - 11:19, 12 September 2009
- program analysis, model checking, model construction, formal process models4 KB (583 words) - 12:17, 25 November 2009
- * model-checking;3 KB (369 words) - 06:23, 4 August 2020
- ...tion of test stimuli, synthesis of observation monitors and on-line tests, model checking on the reachable state space, direct synthesis from assertions, etc.8 KB (1,113 words) - 17:01, 22 February 2010
- * Databases, Semi-Structured Data and Finite Model Theory * Logic in Computer Science, Theorem Proving and Model Checking4 KB (602 words) - 06:44, 26 August 2020