Abstract is missing.
- TransVer: A Modular Program-Transformation Framework for Reduction to ReachabilityDirk Beyer 0001, Marek Jankola, Marian Lingsch Rosenfeld, Tian Xia, Xiyue Zheng. 1-24 [doi]
- (Asynchronous) Temporal Logics for Hyperproperties on Finite TracesAlberto Bombardelli, Laura Bozzelli, César Sánchez 0001, Stefano Tonetta. 25-43 [doi]
- An Efficient and Versatile Approach to Shortest Path Problems in Interprocedural ProgramsTheo De Castro Pinto, Antoine Rollet, Grégoire Sutre. 44-65 [doi]
- 0-1 Laws for LTL and CTL over Random Transition SystemsYanni Dong, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga. 66-87 [doi]
- Accelerating CAR-Based Model-Checking with Multiple Unsatisfiable CoresYibo Dong 0001, Xiwei Wu, Jianwen Li, Geguang Pu, Ofer Strichman. 88-105 [doi]
- Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity FramesDaniel Hausmann 0001, Merlin Humml, Simon Prucker, Lutz Schröder. 106-124 [doi]
- Locating Concurrency Errors in Windows .NET Applications by Fuzzing over Thread SchedulesFilip Kliber, Pavel Parízek. 125-141 [doi]
- Resilience Through Automated Adaptive Configuration for Distribution and ReplicationScott D. Stoller, Balaji Jayasankar, Yanhong A. Liu. 142-160 [doi]
- On-the-Fly Cone-of-Influence Reduction for Model Checking Concurrent SoftwareCsanád Telbisz, Levente Bajczi, Dániel Szekeres, András Vörös 0001. 161-181 [doi]