Search results

• VMCAI
  |Title=Verification, Model Checking and Abstract Interpretation
  117 bytes (15 words) - 11:29, 17 February 2021
• IMPACT 2017
  |Field=polyhedral model, loop optimization, loop parallelization, model checking
  428 bytes (43 words) - 11:01, 8 March 2021
• Petri Nets 2019
  * Model checking and verification of distributed systems * System design and model-driven development using nets
  2 KB (252 words) - 11:16, 8 March 2021
• VMCAI 2020
  |Title=21st International Conference on Verification, Model Checking, and Abstract Interpretation
  476 bytes (59 words) - 11:25, 8 March 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) - 20:17, 17 February 2021
• VMCAI 2017
  |Title=18th International Conference on Verification, Model Checking, and Abstract Interpretation
  480 bytes (59 words) - 11:25, 8 March 2021
• VMCAI 2019
  |Title=20th International Conference on Verification, Model Checking, and Abstract Interpretation
  502 bytes (61 words) - 11:25, 8 March 2021
• Petri Nets 2020
  * Model checking and verification of distributed systems * System design and model-driven development using nets
  2 KB (292 words) - 11:16, 8 March 2021
• VMCAI 2018
  |Title=19th International Conference on Verification, Model Checking, and Abstract Interpretation
  516 bytes (64 words) - 11:25, 8 March 2021
• APLAS 2017
  * program analysis, verification, model-checking
  1 KB (110 words) - 10:29, 8 March 2021
• APLAS 2018
  * Program analysis, verification, model-checking
  1 KB (111 words) - 10:29, 8 March 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) - 20:18, 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 (302 words) - 10:44, 8 March 2021
• CORCS 2008
  component software: model-checking, abstraction, model extraction
  2 KB (254 words) - 12:13, 28 January 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:24, 28 January 2021
• APLAS 2019
  * program analysis, verification, model-checking
  1 KB (142 words) - 10:29, 8 March 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 (694 words) - 11:10, 8 March 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 (286 words) - 11:08, 8 March 2021
• SEA 2011
  Software Verification and Model Checking Model-Based Methodologies
  2 KB (294 words) - 11:18, 8 March 2021
• Petri Nets 2018
  * ● Model checking and verification of distributed systems
  2 KB (244 words) - 11:16, 8 March 2021

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