Search results

• VMCAI
  |Title =Verification, Model Checking and Abstract Interpretation
  188 bytes (20 words) - 21:24, 1 April 2022
• IMPACT 2017
  |Field=polyhedral model, loop optimization, loop parallelization, model checking
  477 bytes (47 words) - 19:21, 1 April 2022
• Petri Nets 2019
  * Model checking and verification of distributed systems * System design and model-driven development using nets
  2 KB (258 words) - 19:59, 1 April 2022
• VMCAI 2020
  |Title=21st International Conference on Verification, Model Checking, and Abstract Interpretation
  557 bytes (65 words) - 20:00, 1 April 2022
• 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 (241 words) - 21:02, 1 April 2022
• VMCAI 2017
  |Title=18th International Conference on Verification, Model Checking, and Abstract Interpretation
  561 bytes (65 words) - 20:00, 1 April 2022
• VMCAI 2019
  |Title=20th International Conference on Verification, Model Checking, and Abstract Interpretation
  583 bytes (67 words) - 20:00, 1 April 2022
• Petri Nets 2020
  * Model checking and verification of distributed systems * System design and model-driven development using nets
  3 KB (298 words) - 19:59, 1 April 2022
• VMCAI 2018
  |Title=19th International Conference on Verification, Model Checking, and Abstract Interpretation
  597 bytes (70 words) - 20:00, 1 April 2022
• FSTTCS 2021
  Model Checking and Reactive Synthesis Model Theory
  2 KB (181 words) - 20:17, 1 April 2022
• CONCUR 2021
  ...micity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis
  2 KB (269 words) - 20:14, 1 April 2022
• FASE 2013
  ...lity: validation and verification of software using theorem proving, model checking, testing, analysis, refinement methods, metrics or visualisation techniques *Model-driven development and model transformation: meta-modelling, design and semantics of domain-specific lan
  2 KB (251 words) - 20:24, 1 April 2022
• ESOP 1996
  ...e specification and verification (including algebraic techniques and model checking),
  1 KB (135 words) - 20:23, 1 April 2022
• APLAS 2017
  * program analysis, verification, model-checking
  1 KB (116 words) - 19:48, 1 April 2022
• APLAS 2018
  * Program analysis, verification, model-checking
  1 KB (117 words) - 19:48, 1 April 2022
• SSV 2009
  recent years through the introduction of model checking, automated and correctness by design, correctness by contract, and model-driven
  2 KB (258 words) - 21:02, 1 April 2022
• TACAS 2003
  *Theorem-proving and model-checking ...t tools based on aforementioned technologies (e.g., theorem-proving, model-checking, static analysis, or other formal methods) or fall into the above applicati
  3 KB (394 words) - 20:25, 1 April 2022
• TACAS 2000
  *theorem-proving and model checking;
  1 KB (158 words) - 20:25, 1 April 2022
• 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 (459 words) - 20:40, 1 April 2022
• CORCS 2008
  component software: model-checking, abstraction, model extraction
  2 KB (257 words) - 20:36, 1 April 2022

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