Abstract is missing.
- A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and SynthesisPiergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti. 1-18 [doi]
- Verifying Space and Time Requirements for Resource-Bounded AgentsNatasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini. 19-34 [doi]
- Automated Creation of Pattern Database Search HeuristicsStefan Edelkamp. 35-50 [doi]
- Using Predicate Abstraction to Generate Heuristic Functions in UPPAALJörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski. 51-66 [doi]
- Real-Time Model Checking on Secondary StorageStefan Edelkamp, Shahid Jabbar. 67-83 [doi]
- Checking Liveness Properties of Concurrent Systems by Reinforcement LearningTadashi Araragi, Seung Mo Cho. 84-94 [doi]
- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and ImplementationAlessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny. 95-112 [doi]
- Symbolic Model Checking of Logics with ActionsCharles Pecheur, Franco Raimondi. 113-128 [doi]
- A Framework for Model Checking InstitutionsFrancesco Viganò. 129-145 [doi]
- SAT-Based Verification of Security Protocols Via Translation to Networks of AutomataMiroslaw Kurkowski, Wojciech Penczek, Andrzej Zbrzezny. 146-165 [doi]
- Distributed Extended Beam Search for Quantitative Model CheckingAnton Wijs, Bert Lisser. 166-184 [doi]