SMT-based automatic proof of ASM model refinement

P Arcaini, A Gargantini, E Riccobene - … , SEFM 2016, Held as Part of STAF …, 2016 - Springer
Abstract Model refinement is a technique indispensable for modeling large and complex
systems. Many formal specification methods share this concept which usually comes …
被引用次数：25 相关文章

SMT-based automatic proof of ASM model refinement

P Arcaini, A Gargantini, E Riccobene - LECTURE NOTES IN …, 2016 - air.unimi.it
Abstract Model refinement is a technique indispensable for modeling large and complex
systems. Many formal specification methods share this concept which usually comes …

SMT-based automatic Proof of ASM model refinement

P Arcaini, AM Gargantini, E Riccobene - LECTURE NOTES IN …, 2016 - aisberg.unibg.it
Abstract Model refinement is a technique indispensable for modeling large and complex
systems. Many formal specification methods share this concept which usually comes …

[引用][C] SMT-Based Automatic Proof of ASM Model Refinement

P Arcaini, A Gargantini, E Riccobene - Software Engineering and Formal …, 2016 - cir.nii.ac.jp
[PDF] academia.edu

[PDF][PDF] SMT-based automatic proof of ASM model refinement

P Arcaini, A Gargantini, E Riccobene - academia.edu
Model refinement is a technique indispensable for modeling large and complex systems.
Many formal specification methods share this concept which usually comes together with the …
[PDF] unibg.it

[PDF][PDF] SMT-based automatic proof of ASM model refinement

P Arcaini, A Gargantini, E Riccobene - cs.unibg.it
Model refinement is a technique indispensable for modeling large and complex systems.
Many formal specification methods share this concept which usually comes together with the …