Search results

• VMCAI
  |Title=Verification, Model Checking and Abstract Interpretation
  117 bytes (15 words) - 11:22, 17 February 2021
• IMPACT 2017
  |Field=polyhedral model, loop optimization, loop parallelization, model checking
  422 bytes (42 words) - 13:26, 17 February 2021
• Petri Nets 2019
  * Model checking and verification of distributed systems * System design and model-driven development using nets
  2 KB (251 words) - 14:03, 17 February 2021
• VMCAI 2020
  |Title=21st International Conference on Verification, Model Checking, and Abstract Interpretation
  470 bytes (58 words) - 14:03, 17 February 2021
• 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) - 13:04, 17 February 2021
• VMCAI 2017
  |Title=18th International Conference on Verification, Model Checking, and Abstract Interpretation
  474 bytes (58 words) - 14:03, 17 February 2021
• VMCAI 2019
  |Title=20th International Conference on Verification, Model Checking, and Abstract Interpretation
  496 bytes (60 words) - 14:03, 17 February 2021
• VMCAI 2018
  |Title=19th International Conference on Verification, Model Checking, and Abstract Interpretation
  510 bytes (63 words) - 14:03, 17 February 2021
• Petri Nets 2020
  * Model checking and verification of distributed systems * System design and model-driven development using nets
  2 KB (291 words) - 14:03, 17 February 2021
• APLAS 2017
  * program analysis, verification, model-checking
  1 KB (109 words) - 13:59, 17 February 2021
• APLAS 2018
  * Program analysis, verification, model-checking
  1 KB (110 words) - 13:59, 17 February 2021
• 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) - 12:58, 17 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) - 13:48, 17 February 2021
• 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) - 12:23, 17 February 2021
• CORCS 2008
  component software: model-checking, abstraction, model extraction
  2 KB (254 words) - 12:20, 17 February 2021
• APLAS 2019
  * program analysis, verification, model-checking
  1 KB (141 words) - 13:59, 17 February 2021
• 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) - 13:12, 17 February 2021
• 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) - 13:34, 17 February 2021
• SEA 2011
  Software Verification and Model Checking Model-Based Methodologies
  2 KB (293 words) - 13:12, 17 February 2021
• Petri Nets 2018
  * ● Model checking and verification of distributed systems
  2 KB (243 words) - 14:03, 17 February 2021

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