Search results

Create the page "Model checking" on this wiki! See also the search results found.

• SOFSEM 2009
  * verification techniques (model checking, equivalence checking,
  6 KB (682 words) - 10:18, 14 April 2020
• FM'08
  analysis, model-checking, verification, calculation, reusable
  7 KB (979 words) - 23:37, 14 October 2008
• HASE 2008
  * Formal specification, specification validation, testing, and model checking for high assurance systems
  6 KB (748 words) - 14:43, 27 December 2015
• QAPL 2009
  defining both the model of systems (architecture, language design, semantics) model or as a tool for the analysis of systems. In particular, the workshop
  6 KB (823 words) - 14:28, 14 December 2008
• HiBi 2009
  - Parallel Model Checking techniques
  5 KB (617 words) - 12:59, 18 January 2009
• SSV 2009
  recent years through the introduction of model checking, automated and correctness by design, correctness by contract, and model-driven
  2 KB (255 words) - 13:00, 18 January 2009
• TIME 2009
  - model checking algorithms
  6 KB (872 words) - 13:00, 18 January 2009
• MOTIP
  |Title=2nd Workshop on MODEL-BASED TESTING IN PRACTICE |Superevent=5th European Conference on Model-Driven Architecture Foundations and Applications 2009
  5 KB (693 words) - 01:41, 14 April 2011
• SPIN 2009
  | 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 encoura
  2 KB (238 words) - 16:34, 27 February 2009
• SBMF 2009
  - Formal methods applied to model-driven - Model checking;
  7 KB (1,094 words) - 11:42, 29 September 2016
• FCT 2009
  ...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
• ATVA 2009
  theory, compositionality, model-checking, automated theorem such as analysis and verification tools, synthesis tools, model
  6 KB (801 words) - 17:06, 27 February 2009
• ISC 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 tools
  38 KB (4,832 words) - 17:07, 27 February 2009
• CORCS 2009
  software: model-checking, abstraction, refinement, code synthesis, =20 testing, monitoring, debugging, model extraction
  4 KB (504 words) - 16:43, 27 December 2015
• AOSE09
  * Model-driven architecture (MDA) for MAS; * Model checking for agent-oriented systems;
  8 KB (1,153 words) - 22:41, 23 March 2009
• LDTA 2010
  * model checking to software verification
  5 KB (699 words) - 11:19, 12 September 2009
• QSIC 2010
  program analysis, model checking, model construction, formal process models
  4 KB (583 words) - 12:17, 25 November 2009
• TACAS 2019
  * model-checking;
  3 KB (369 words) - 06:23, 4 August 2020
• FDL 2010
  ...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
• ICALP 2020
  * Databases, Semi-Structured Data and Finite Model Theory * Logic in Computer Science, Theorem Proving and Model Checking
  4 KB (602 words) - 06:44, 26 August 2020

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)