Abstract is missing.
- Model Verification Through Dependency GraphsSøren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba. 1-19 [doi]
- Model Checking Branching Time Properties for Incomplete Markov ChainsShiraj Arora, M. V. Panduranga Rao. 20-37 [doi]
- A Novel Decentralized LTL Monitoring Framework Using Formula Progression TableOmar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds. 38-55 [doi]
- From Dynamic State Machines to PromelaMassimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini. 56-73 [doi]
- String Abstraction for Model Checking of C ProgramsAgostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Rockai. 74-93 [doi]
- Swarm Model Checking on the GPURichard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka. 94-113 [doi]
- Statistical Model Checking of Complex Robotic SystemsMohammed Foughali, Félix Ingrand, Cristina Seceleanu. 114-134 [doi]
- STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency GraphYuan Liu, Xi Wang, Lintao Xian, Zhongwen Guo. 135-152 [doi]
- Extracting Safe Thread Schedules from Incomplete Model Checking ResultsPatrick Metzler, Neeraj Suri, Georg Weissenbacher. 153-171 [doi]
- Learning Guided Enumerative Synthesis for SuperoptimizationShikhar Singh, Mengshi Zhang, Sarfraz Khurshid. 172-192 [doi]
- Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid ModelSergey Staroletov, Nikolay Shilov. 193-207 [doi]
- Conformance Testing of Schedulers for DSL-based Model CheckingNhat-Hoa Tran, Toshiaki Aoki. 208-225 [doi]
- A Study of Learning Data Structure Invariants Using Off-the-shelf ToolsMuhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid. 226-243 [doi]
- VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETsFarnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar. 244-259 [doi]