|Title=Verification, Model Checking and Abstract Interpretation
...
117 bytes (15 words) - 23:50, 17 March 2020
|Field=polyhedral model, loop optimization, loop parallelization, model checking
...
422 bytes (42 words) - 09:01, 11 September 2016
| 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) - 14:34, 27 February 2009
* Model checking and verification of distributed systems
* System design and model-driven development using nets
...
2 KB (251 words) - 16:19, 13 May 2020
|Title=21st International Conference on Verification, Model Checking, and Abstract Interpretation
...
470 bytes (58 words) - 04:05, 15 May 2020
|Title=18th International Conference on Verification, Model Checking, and Abstract Interpretation
...
474 bytes (58 words) - 04:35, 15 May 2020
|Title=20th International Conference on Verification, Model Checking, and Abstract Interpretation
...
496 bytes (60 words) - 04:14, 15 May 2020
|Title=19th International Conference on Verification, Model Checking, and Abstract Interpretation
...
510 bytes (63 words) - 04:22, 15 May 2020
* Model checking and verification of distributed systems
* System design and model-driven development using nets
...
2 KB (291 words) - 17:33, 13 May 2020
recent years through the introduction of model checking, automated and
correctness by design, correctness by contract, and model-driven
...
2 KB (255 words) - 11:00, 18 January 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) - 21:30, 14 October 2008
component software: model-checking, abstraction,
model extraction
...
2 KB (254 words) - 21:22, 14 October 2008
...micity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis
...
2 KB (262 words) - 14:45, 8 April 2021
|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) - 23:41, 13 April 2011
* program analysis, verification, model-checking
...
1 KB (109 words) - 13:23, 8 April 2020
* Program analysis, verification, model-checking
...
1 KB (110 words) - 13:22, 8 April 2020
Software Verification and Model Checking
Model-Based Methodologies
...
2 KB (293 words) - 08:35, 24 June 2011
...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) - 12:34, 4 June 2019
* program analysis, verification, model-checking
...
1 KB (141 words) - 13:22, 8 April 2020
...onstandard computing models; algebraic and categorical methods; logics and model
checking; principles of programming languages; program analysis and transformation;
...
2 KB (282 words) - 09:28, 21 April 2021