Return to home page
Searching: Muskingum library catalog
We are currently experiencing delivery delays for items requested from other institutions while transitioning to a new statewide delivery service. Please contact your library with questions or advice about alternative resources. Thank you for your patience!
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference International Symposium of Formal Methods Europe (18th : 2012 : Paris, France)
Title FM 2012 : formal methods ; 18th International Symposium, Paris, France, August 27-31, 2012, Proceedings / Dimitra Giannakopoulou, Dominique Mery (eds.).
Imprint Berlin ; New York : Springer, 2012.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference International Symposium of Formal Methods Europe (18th : 2012 : Paris, France)
Series Lecture notes in computer science ; 7436
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 7436.
LNCS sublibrary. SL 2, Programming and software engineering.
Subject Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Alt Name Giannakopoulou, Dimitra.
Méry, Dominique.
Description 1 online resource.
Contents Software Security: A Formal Perspective / (Notes for a Talk) / Martin Abadi -- Formal Methods in the Wild: Trains, Planes, & Automobile / Asaf Degani -- Who Are We, and What Are We Doing Here? / Alan Wassyng -- Automata Learning through Counterexample Guided Abstraction Refinement / Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen and Frits Vaandrager -- Julienne: A Trace Slicer for Conditional Rewrite Theories / Maria Alpuente, Demis Ballis, Francisco Frechina and Daniel Romero -- IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems / Etienne Andre, Laurent Fribourg, Ulrich Kuhne and Romain Soulat -- Maximal and Compositional Pattern-Based Loop Invariants / Virginia Aponte, Pierre Courtieu, Yannick Moy and Marc Sango -- A Formal Approach to Autonomous Vehicle Coordination / Mikael Asplund, Atif Manzoor, Melanie Bouroche, Siobhan Clarke and Vinny Cahill -- Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors / Howard Barringer, Ylies Falcone, Klaus Havelund, Giles Reger and David Rydeheard -- Decentralised LTL Monitoring / Andreas Bauer and Ylies Falcone.
Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra / Soufiene Benkirane, Rachel Norman, Erin Scott and Carron Shankland -- A Certified Constraint Solver over Finite Domains / Matthieu Carlier, Catherine Dubois and Arnaud Gotlieb -- Collaborative Verification and Testing with Explicit Assumptions / Maria Christakis, Peter Muller and Valentin Wustholz -- TLA+ Proofs / Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz and Daniel Ricketts, et al. -- The Modal Transition System Control Problem / Nicolas D'Ippolito, Victor Braberman, Nir Piterman and Sebastian Uchitel -- When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations / Julien Dormoy, Olga Kouchnarenko and Arnaud Lanoix -- Error Invariants / Evren Ermis, Martin Schaf and Thomas Wies -- Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction / Mathieu Giorgino and Martin Strecker -- A Formal Framework for Modelling Coercion Resistance and Receipt Freeness / James Heather and Steve Schneider.
Using Time to Add Order to Distributed Testing / Robert M. Hierons, Mercedes G. Merayo and Manuel Nunez -- A Verification Toolkit for Numerical Transition Systems: Tool Paper / Hossein Hojjat, Filip Konecny, Florent Garnier, Radu Iosif and Viktor Kuncak, et al. -- Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems / Taylor T. Johnson, Jeremy Green, Sayan Mitra, Rachel Dudley and Richard Scott Erwin -- Executing Formal Semantics with the \mathbb KK Tool / David Lazar, Andrei Arusoaie, Traian Florin Serbanuta, Chucky Ellison and Radu Mereuta, et al. -- Automatic Compositional Verification of Timed Systems / Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong and Etienne Andre -- Applying Software Model Checking Techniques for Behavioral UML Models / Orna Grumberg, Yael Meller and Karen Yorav -- Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing / Yasuhiko Minamide and Shunsuke Mori -- Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms / Srinivas Nedunuri, Douglas R. Smith and William R. Cook.
Improved BDD-Based Discrete Analysis of Timed Systems / Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong and Yan Liu -- Experience Report on Designing and Developing Control Components Using Formal Methods / Ammar Osaiweran, Tom Fransen, Jan Friso Groote and Bart van Rijnsoever -- Automatic Dimensional Analysis of Cyber-Physical Systems / Sam Owre, Indranil Saha and Natarajan Shankar -- Validating B, Z and TLA+ Using ProB and Kodkod / Daniel Plagge and Michael Leuschel -- From Hoare Logic to Matching Logic Reachability / Grigore Rosu and Andrei Stefanescu -- Distribution of Modal Transition Systems / German E. Sibay, Sebastian Uchitel, Victor Braberman and Jeff Kramer -- Efficient Malware Detection Using Model-Checking / Fu Song and Tayssir Touili -- Formalization of Incremental Simplex Algorithm by Stepwise Refinement / Mirko Spasic and Filip Maric -- VMC: A Tool for Product Variability Analysis / Maurice H. ter Beek, Franco Mazzanti and Aldi Sulova -- Specification-Based Test Repair Using a Lightweight Formal Method / Guowei Yang, Sarfraz Khurshid and Miryung Kim -- A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example / Hengjun Zhao, Naijun Zhan, Deepak Kapur and Kim G. Larsen.
Bibliography Note Includes bibliographical references and author index.
Note Print version record.
Summary This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.
Note English.
ISBN 9783642327599 (electronic bk.)
3642327591 (electronic bk.)
3642327583
9783642327582
9783642327582
ISBN/ISSN 10.1007/978-3-642-32759-9.
OCLC # 808682764
Additional Format Print version: Fm 2012. [S.l.] : Springer, 2012 3642327583 (OCoLC)802322089



If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team