Abstract is missing.
- Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in VerificationDilian Gurov, Reiner Hähnle, Eduard Kamburjan. 3-21 [doi]
- On Testing Message-Passing ComponentsAlex Coto, Roberto Guanciale, Emilio Tuosto. 22-38 [doi]
- Composing Communicating Systems, SynchronouslyFranco Barbanera, Ivan Lanese, Emilio Tuosto. 39-59 [doi]
- Modular Verification of JML Contracts Using Bounded Model CheckingBernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich. 60-80 [doi]
- On Slicing Software Product Line SignaturesFerruccio Damiani, Michael Lienhardt, Luca Paolini. 81-102 [doi]
- Assumption-Commitment Types for Resource Management in Virtually Timed AmbientsEinar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf. 103-121 [doi]
- Abstraction and Genericity in Why3Jean-Christophe Filliâtre, Andrei Paskevich. 122-142 [doi]
- Verification Artifacts in Cooperative Verification: Survey and Unifying Component FrameworkDirk Beyer 0001, Heike Wehrheim. 143-167 [doi]
- An Interface Theory for Program VerificationDirk Beyer 0001, Sudeep Kanav. 168-186 [doi]
- Scaling Correctness-by-ConstructionAlexander Knüppel, Tobias Runge, Ina Schaefer. 187-207 [doi]
- X-by-Construction - Correctness Meets ProbabilityMaurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson. 211-215 [doi]
- Correctness by Construction for Probabilistic ProgramsAnnabelle McIver, Carroll Morgan. 216-239 [doi]
- Components in Probabilistic Systems: Suitable by ConstructionChristel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl. 240-261 [doi]
- Behavioral Specification Theories: An Algebraic TaxonomyUli Fahrenberg, Axel Legay. 262-274 [doi]
- Approximating Euclidean by Imprecise Markov Decision ProcessesManfred Jaeger, Giorgio Bacci, Giovanni Bacci 0001, Kim Guldstrand Larsen, Peter Gjøl Jensen. 275-289 [doi]
- Shield Synthesis for Reinforcement LearningBettina Könighofer, Florian Lorber, Nils Jansen 0001, Roderick Bloem. 290-306 [doi]
- Inferring Performance from Code: A ReviewEmilio Incerto, Annalisa Napolitano, Mirco Tribastone. 307-322 [doi]
- 30 Years of Statistical Model CheckingKim G. Larsen, Axel Legay. 325-330 [doi]
- Statistical Model Checking: Black or White?Pranav Ashok, Przemyslaw Daca, Jan Kretínský, Maximilian Weininger. 331-349 [doi]
- Probabilistic Mission Planning and Analysis for Multi-agent SystemsRong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist. 350-367 [doi]
- 30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMCDavide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo. 368-384 [doi]
- Fluid Model-Checking in UPPAAL for Covid-19Peter Gjøl Jensen, Kenneth Yrke Jørgensen, Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Danny Bøgsted Poulsen. 385-403 [doi]
- Improving Secure and Robust Patient Service DeliveryEduard Baranov, Thomas Given-Wilson, Axel Legay. 404-418 [doi]
- Verification and Validation of Concurrent and Distributed Systems (Track Summary)Marieke Huisman, Cristina Seceleanu. 421-425 [doi]
- Step-Wise Development of Provably Correct Actor SystemsBernhard K. Aichernig, Benedikt Maderbacher. 426-448 [doi]
- Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAcheckerDirk Beyer 0001, Karlheinz Friedberger. 449-470 [doi]
- Tendermint Blockchain Synchronization: Formal Specification and Model CheckingSean Braithwaite, Ethan Buchman, Igor Konnov 0001, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir. 471-488 [doi]
- Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje ProjectRuben Hamers, Sung-Shik Jongmans. 489-508 [doi]
- Modular Verification of Liveness Properties of the I/O Behavior of Imperative ProgramsBart Jacobs 0002. 509-524 [doi]
- Formal Verification of an Industrial Distributed Algorithm: An Experience ReportNikolai Kosmatov, Delphine Longuet, Romain Soulat. 525-542 [doi]
- Deploying TESTAR to Enable Remote Testing in an Industrial CI Pipeline: A Case-Based EvaluationFernando Pastor Ricós, Pekka Aho, Tanja E. J. Vos, Ismael Torres Boigues, Ernesto Calás Blasco, Héctor Martínez Martínez. 543-557 [doi]
- A Formal Model of the Kubernetes Container FrameworkGianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani. 558-577 [doi]