دانلود کتاب Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

فهرست مطالب :

Front Matter ....Pages I-XXI
Front Matter ....Pages 1-1
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems (Simone Silvetti, Alberto Policriti, Luca Bortolussi)....Pages 3-17
Modelling and Verification of Timed Robotic Controllers (Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis)....Pages 18-33
Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL (Sven Linker)....Pages 34-49
Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL (Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff et al.)....Pages 50-66
Front Matter ....Pages 67-67
Making Whiley Boogie! (Mark Utting, David J. Pearce, Lindsay Groves)....Pages 69-84
Complexity Analysis for Java with AProVE (Florian Frohn, Jürgen Giesl)....Pages 85-101
The VerCors Tool Set: Verification of Parallel and Concurrent Software (Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn)....Pages 102-110
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs (Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer)....Pages 111-126
Front Matter ....Pages 127-127
Generalised Test Tables: A Practical Specification Language for Reactive Systems (Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl)....Pages 129-144
Transient and Steady-State Statistical Analysis for Discrete Event Simulators (Stephen Gilmore, Daniël Reijsbergen, Andrea Vandin)....Pages 145-160
Algebraic Compilation of Safety-Critical Java Bytecode (James Baxter, Ana Cavalcanti)....Pages 161-176
Task-Node Mapping in an Arbitrary Computer Network Using SMT Solver (Andrii Kovalov, Elisabeth Lobe, Andreas Gerndt, Daniel Lüdtke)....Pages 177-191
Front Matter ....Pages 193-193
Analysis of Synchronisations in Stateful Active Objects (Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea)....Pages 195-210
BTS: A Tool for Formal Component-Based Development (Dalay Israel de Almeida Pereira, Marcel Vinicius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva)....Pages 211-226
Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking (Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas)....Pages 227-242
Synthesizing Coalitions for Multi-agent Games (Wei Ji, Farn Wang, Peng Wu)....Pages 243-259
Front Matter ....Pages 261-261
Hoare-Style Reasoning from Multiple Contracts (Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi)....Pages 263-278
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows (Dominic Steinhöfel, Nathan Wasser)....Pages 279-294
Triggerless Happy (YuTing Chen, Carlo A. Furia)....Pages 295-311
SemSlice: Exploiting Relational Verification for Automatic Program Slicing (Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich)....Pages 312-319
Front Matter ....Pages 321-321
VBPMN: Automated Verification of BPMN Processes (Tool Paper) (Ajay Krishna, Pascal Poizat, Gwen Salaün)....Pages 323-331
How Well Can I Secure My System? (Barbara Kordy, Wojciech Wideł)....Pages 332-347
MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams (Hao Wu)....Pages 348-356
Formal Verification of CNL Health Recommendations (Fahrurrozi Rahman, Juliana Küster Filipe Bowles)....Pages 357-371
Front Matter ....Pages 373-373
Modular Verification of Order-Preserving Write-Back Caches (Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif)....Pages 375-390
Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study - (Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani)....Pages 391-406
Certified Password Quality (João F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke)....Pages 407-421
Verification of STAR-Vote and Evaluation of FDR and ProVerif (Murat Moran, Dan S. Wallach)....Pages 422-436
Back Matter ....Pages 437-438