-
Automated Technology for Verification and Analysis – 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Lahiri, Shuvendu K. 2018 Springer International Publishing
-
Model Checking Software – 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Gallardo, Maria del Mar ; Merino, Pedro 2018 Springer International Publishing
-
Verification, Model Checking, and Abstract Interpretation – 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Dillig, Isil ; Palsberg, Jens 2018 Springer International Publishing
-
Computer Performance Engineering – 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Reinecke, Philipp ; Di Marco, Antinisca 2017 Springer International Publishing
-
Software Engineering for Self-Adaptive Systems III. Assurances – International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
Lemos, Rogério de ; Garlan, David ; Ghezzi, Carlo ; Giese, Holger 2017 Springer International Publishing
-
Formal Methods: Foundations and Applications – 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
Iyoda, Juliano ; Moura, Leonardo de 2017 Springer International Publishing
-
Hardware and Software: Verification and Testing – 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Strichman, Ofer ; Tzoref-Brill, Rachel 2017 Springer International Publishing
-
Transactions on Petri Nets and Other Models of Concurrency XII
Koutny, Maciej ; Kleijn, Jetty ; Penczek, Wojciech 2017 Springer International Publishing
-
Verification, Model Checking, and Abstract Interpretation – 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Bouajjani, Ahmed ; Monniaux, David 2017 Springer Berlin Heidelberg
-
System Analysis and Modeling: Models and Reusability – 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
2014 Springer International Publishing
-
Directed explicit-statemodel checking in the validation of communication protocols
Edelkamp, Stefan ; Leue, Stefan ; Lluch-Lafuente, Alberto 2008 Bibliothek der Universität Konstanz
-
Awaiting for Godot: stateless model checking that avoids executions where nothing happens
Jonsson, Bengt ; Lång, Magnus ; Sagonas, Kostis
-
Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes
Dreier, Jan ; Mählmann, Nikolas ; Siebertz, Sebastian ; Toruńczyk, Szymon 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Parameterized Systems in BIP: Design and Model Checking
Konnov, Igor ; Kotek, Tomer ; Wang, Qiang ; Veith, Helmut ; Bliudze, Simon ; Joseph Sifakis 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
GenAI Minimum Acceptance Checks: Static and Dynamic Model-Checking of Conditioning Generative Artificial Intelligence Models for Subsurface Modeling
Merzoug, Ahmed ; Liu, Lei ; Pyrcz, Michael J.
-
Compositional Stochastic Process Algebra Models: A Focus on Model Repair and Rate Lifting
Soltanieh, Amin 2023 Dr. Hut
-
Correct Hardware Design and Verification Methods – 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings
Borrione, Dominique 2003 Springer International Publishing
-
Formal methods for components and objects – 10th international symposium ; revised selected papers
Beckert, Bernhard ; Damiani, Ferruccio ; Boer, Frank S. de ; Bonsangue, Marcello M. 2013 Springer
-
Formal methods for components and objects – 9th international symposium ; revised papers
Aichernig, Bernhard K. ; Boer, Frank S. de ; Bonsangue, Marcello M. 2011 Springer
-
Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking
Lu, Chaoze ; Li, Chenghao ; Liu, Chenxia ; Wu, Xianrui ; Huang, Yimin