Search results

Jump to: navigation, search

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

  • TACAS 2009
    * Theorem-proving and model-checking;
    4 KB (543 words) - 16:39, 16 July 2020
  • CSR 2009
    * model checking
    5 KB (614 words) - 17:22, 11 September 2008
  • VSTTE 2008
    Verification, Least-Fixpoint Checking, Abstraction Verified Protection Model of the seL4 Microkernel
    5 KB (686 words) - 12:27, 12 September 2008
  • DBKDA 2020
    ...ion; Benchmarking replication; Community detection; Risk-adaptive security model; Faceted queries over ontologies; Inclusion dependencies; Periodic-frequent ...Data integration, linkage and fusion; D uplicate detection and consistency checking; D ata mining and data quality assessment; Quality methods and algorithms /
    11 KB (1,371 words) - 12:28, 18 May 2020
  • SEA 2011
    Software Verification and Model Checking Model-Based Methodologies
    2 KB (293 words) - 10:35, 24 June 2011
  • DEPEND 2008
    Verification and validation (including model checking) of dependable software architectures
    7 KB (960 words) - 17:48, 14 October 2008
  • CASCON 2008
    - Reliability: verification and validation; model checking; =
    9 KB (1,193 words) - 22:53, 14 October 2008
  • LPAR 2008
    ...ication through formal methods such as automated theorem proving and model checking. Logic is also the stuff of knowledge representation and artificial intelli - Model checking
    5 KB (799 words) - 21:49, 26 February 2020
  • ICTAC 09
    * model checking and theorem proving
    8 KB (1,085 words) - 18:01, 12 February 2009
  • FSMNLP 2008
    * Zipf's law and coverage, model checking against finite corpora * data scarcity, realistic variations of Gold's model, learnability and cognitive science
    9 KB (1,072 words) - 23:06, 14 October 2008
  • TCS 2008
    theory; finite model theory; formal aspects of program complexity; modal and temporal logics; model checking and
    5 KB (698 words) - 23:08, 14 October 2008
  • ICWS 2008
    model. Panels and tutorials will run before and throughout the * Type Systems and Type Checking for Web Services
    8 KB (1,158 words) - 23:14, 14 October 2008
  • CCBS 09
    ...ce systems in the aforementioned industries with special emphasis on using model-based design and testing paradigms. Papers reporting industrial experiences * Model-based software testing and formal methods (model checking, theorem proving)
    5 KB (660 words) - 16:46, 27 December 2015
  • ADCSS 2008
    MODEL BASED SOFTWARE ENGINEERING ...odels" is becoming state-of-the-art in the software engineering field. The model based development approach is also more and more being applied to space on-
    18 KB (2,714 words) - 23:23, 14 October 2008
  • CORCS 2008
    component software: model-checking, abstraction, model extraction
    2 KB (254 words) - 23:22, 14 October 2008
  • LICS 2008
    ...e, logics of programs, logic programming, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, pr
    2 KB (285 words) - 15:11, 7 November 2016
  • DATICS 2009
    * theory and foundations: model checking, SAT-based methods, use of PSL, compositional methods and probabilistic met * applications of formal methods: equivalence checking, CSP applications and transaction-level verification
    9 KB (1,181 words) - 00:37, 15 October 2008
  • EURASIP Journal on Embedded Systems 2009
    ...y provide nice features for high-level specification but also enable model checking-based verification due to their formal semantics. Other semiformal notation ...techniques such as module checking and applications of module checking
    4 KB (456 words) - 23:30, 14 October 2008
  • MEMOCODE 2008
    * formal verification (model checking, theorem proving)
    4 KB (526 words) - 23:30, 14 October 2008
  • LICS 2020
    * finite model theory * model checking
    5 KB (656 words) - 11:29, 27 August 2020
  • 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
  • MESA 2011
    * Model checking and equivalence checking tools
    12 KB (1,378 words) - 21:13, 28 November 2010
  • WWV 2011
    - Model-checking, synthesis and debugging of Web systems.
    5 KB (650 words) - 14:16, 22 February 2011
  • RASEP 2011
    Graphs Theory, Artificial Intelligence, Equivalence Checking, Model Checking Theorem, Formal
    7 KB (1,019 words) - 18:29, 8 April 2011
  • IMPACT 2017
    |Field=polyhedral model, loop optimization, loop parallelization, model checking
    422 bytes (42 words) - 11:01, 11 September 2016
  • LICS 2016
    * finite model theory * model checking
    4 KB (528 words) - 11:25, 26 June 2020
  • LICS 2017
    * finite model theory * model checking
    4 KB (490 words) - 11:42, 26 June 2020
  • Correctness 2017
    goal of correctness checking * Practical and scalable tools for model checking, verification,
    5 KB (588 words) - 18:00, 18 February 2021
  • FASE 2019
    ...tional and non-functional software properties using theorem proving, model checking, testing, analysis, simulation, refinement methods, metrics or visualizatio Model-driven development and model transformation: meta-modelling, design and semantics of domain-specific lan
    2 KB (301 words) - 14:34, 4 June 2019
  • VMCAI
    |Title=Verification, Model Checking and Abstract Interpretation
    117 bytes (15 words) - 01:50, 18 March 2020
  • VMCAI 2020
    |Title=21st International Conference on Verification, Model Checking, and Abstract Interpretation
    470 bytes (58 words) - 06:05, 15 May 2020
  • APLAS 2019
    * program analysis, verification, model-checking
    1 KB (141 words) - 15:22, 8 April 2020
  • APLAS 2018
    * Program analysis, verification, model-checking
    1 KB (110 words) - 15:22, 8 April 2020
  • APLAS 2017
    * program analysis, verification, model-checking
    1 KB (109 words) - 15:23, 8 April 2020
  • PEPM 2019
    * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusi ...synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation.
    7 KB (1,057 words) - 10:13, 17 April 2020
  • Petri Nets 2018
    * ● Model checking and verification of distributed systems
    2 KB (243 words) - 20:03, 13 May 2020
  • Petri Nets 2019
    * Model checking and verification of distributed systems * System design and model-driven development using nets
    2 KB (251 words) - 18:19, 13 May 2020
  • Petri Nets 2020
    * Model checking and verification of distributed systems * System design and model-driven development using nets
    2 KB (291 words) - 19:33, 13 May 2020
  • PEPM 2018
    * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusi ...synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation.
    8 KB (1,080 words) - 10:43, 17 April 2020
  • VMCAI 2019
    |Title=20th International Conference on Verification, Model Checking, and Abstract Interpretation
    496 bytes (60 words) - 06:14, 15 May 2020
  • VMCAI 2018
    |Title=19th International Conference on Verification, Model Checking, and Abstract Interpretation
    510 bytes (63 words) - 06:22, 15 May 2020
  • VMCAI 2017
    |Title=18th International Conference on Verification, Model Checking, and Abstract Interpretation
    474 bytes (58 words) - 06:35, 15 May 2020
  • ICALP 2019
    * Databases, Semi-Structured Data and Finite Model Theory * Logic in Computer Science, Theorem Proving and Model Checking
    4 KB (556 words) - 06:42, 26 August 2020
  • LICS 2019
    * finite model theory * model checking
    4 KB (525 words) - 11:27, 27 August 2020
  • LICS 2018
    * finite model theory * model checking
    4 KB (537 words) - 14:06, 27 August 2020
  • ICSEA 2020
    ...; Software architecture, patterns, frameworks; Software analysis and model checking; Software architectural scalability; Requirements engineering and design; S ...y distributed resources (GRID); Web service based software; Scenario-based model synthesis; Merging partial behavioral models; Partial goal/requirement sati
    13 KB (1,573 words) - 12:00, 10 July 2020
  • TACAS 2021
    * model checking;
    2 KB (293 words) - 14:54, 3 August 2020
  • TACAS 2020
    ...amical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems.
    2 KB (279 words) - 07:00, 20 August 2020
  • SOFTENG 2021
    development; Model-driven software development and DSL design; Software Crowdsourcing software development; Model checking specifications;
    12 KB (1,505 words) - 20:38, 22 November 2020
  • DBKDA 2021
    ...on; Benchmarking replication; Community detection; Risk-adaptive security model; Faceted queries over ontologies; Inclusion dependencies; Periodic-frequent ...Data integration, linkage and fusion; D uplicate detection and consistency checking; D ata mining and data quality assessment; Quality methods and algorithms /
    11 KB (1,360 words) - 18:45, 26 November 2020
  • " DBKDA 2021"
    ...on; Benchmarking replication; Community detection; Risk-adaptive security model; Faceted queries over ontologies; Inclusion dependencies; Periodic-frequent ...Data integration, linkage and fusion; D uplicate detection and consistency checking; D ata mining and data quality assessment; Quality methods and algorithms /
    11 KB (1,361 words) - 14:52, 10 February 2021
  • DBKDA
    ...on; Benchmarking replication; Community detection; Risk-adaptive security model; Faceted queries over ontologies; Inclusion dependencies; Periodic-frequent ...Data integration, linkage and fusion; D uplicate detection and consistency checking; D ata mining and data quality assessment; Quality methods and algorithms /
    12 KB (1,409 words) - 12:01, 3 March 2021
  • CIAA 2021
    * implementation of verification methods and model checking
    2 KB (213 words) - 15:39, 8 April 2021
  • CONCUR 2021
    ...micity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis
    2 KB (262 words) - 16:45, 8 April 2021
  • FCT 2011
    * logics and model checking
    3 KB (324 words) - 12:01, 21 April 2021
  • FCT 2015
    * logics and model checking
    3 KB (425 words) - 14:12, 22 April 2021
  • SOFTENG
    ...ers; Package management systems; Crowdsourcing software development; Model checking specifications; Software product lines; Tools and platforms for software de ...nability and non-functional requirements; Software sustainability maturity model; Sustainable open source; Sustainability and reliability, (self-)adaptabili
    13 KB (1,522 words) - 03:32, 3 December 2021
  • XAI-2024
    Explainability & the Semantic Web Model-specific vs model-agnostic methods Neuro-symbolic reasoning for XAI ...onsibility in XAI Addressing user-centric requirements for XAI Trade-off model accuracy & interpretability
    8 KB (993 words) - 12:08, 23 November 2023
Retrieved from "https://www.openresearch.org/wiki/Special:Search"