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...
Conference International Conference on Formal Engineering Methods (14th : 2012 : Kyoto, Japan)
Title Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings / Toshiaki Aoki, Kenji Taguchi (eds.).
Imprint Berlin : Springer, 2012.

View online
View online
Conference International Conference on Formal Engineering Methods (14th : 2012 : Kyoto, Japan)
Series Lecture notes in computer science ; 7635
LNCS sublibrary. SL 2, Programming and software engineering.
Lecture notes in computer science ; 7635.
LNCS sublibrary. SL 2, Programming and software engineering.
Subject Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Computer software -- Verification -- Congresses.
Alt Name Aoki, Toshiaki.
Taguchi, Kenji, 1956-
Description 1 online resource (xiv, 512 pages) : illustrations.
Contents Invited Speech: Toward Practical Application of Formal Methods in Software Lifecycle Processes / Mario Tokoro -- Formal Methods in the Aerospace Industry: Follow the Money / Darren Cofer -- Applying Term Rewriting to Speech Recognition of Numbers / Robert E. Shostak -- Concurrency: Variable Permissions for Concurrency Verification / Duy-Khanh Le, Wei-Ngan Chin, Yong-Meng Teo -- A Concurrent Temporal Programming Model with Atomic Blocks / Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng -- A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs / Granville Barnett, Shengchao Qin -- Applications of Formal Methods to New Areas: Towards a Formal Verification Methodology for Collective Robotic Systems / Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli -- Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS / Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa.
Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic / Kazuhiro Ogata, Phan Thi Thanh Huyen -- Quantity and Probability: Quantitative Program Dependence Graphs / Chunyan Mu -- Quantitative Analysis of Information Flow Using Theorem Proving / Tarek Mhamdi, Osman Hasan, Sofiene Tahar -- Modeling and Verification of Probabilistic Actor Systems Using pRebeca / Mahsa Varshosaz, Ramtin Khosravi -- Formal Verification: Modular Verification of OO Programs with Interfaces / Qiu Zongyan, Hong Ali, Liu Yijing -- Separation Predicates: A Taste of Separation Logic in First-Order Logic / Francois Bobot, Jean-Christophe Filliatre -- The Confinement Problem in the Presence of Faults / William L. Harrison, Adam Procter, Gerard Allwein -- Modeling and Development Methodology: Verification of ATL Transformations Using Transformation Models and Model Finders / Fabian Buttner, Marina Egea, Jordi Cabot, Martin Gogolla.
Automatic Generation of Provably Correct Embedded Systems / Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong -- Complementary Methodologies for Developing Hybrid Systems with Event-B / Wen Su, Jean-Raymond Abrial, Huibiao Zhu -- Temporal Logics: A Temporal Logic with Mean-Payoff Constraints / Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki -- Time Constraints with Temporal Logic Programming / Meng Han, Zhenhua Duan, Xiaobing Wang -- Stepwise Satisfiability Checking Procedure for Reactive System Specifications by Tableau Method and Proof System / Yoshinori Neya, Noriaki Yoshiura -- Abstraction and Refinement: Equational Abstraction Refinement for Certified Tree Regular Model Checking / Yohan Boichut, Benoit Boyer, Thomas Genet, Axel Legay -- SMT-Based False Positive Elimination in Static Program Analysis / Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp -- Predicate Analysis with Block-Abstraction Memoization / Daniel Wonisch, Heike Wehrheim -- Heuristic-Guided Abstraction Refinement for Concurrent Systems / Nils Timm, Heike Wehrheim, Mike Czech.
More Anti-chain Based Refinement Checking / Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang, Shanping Li -- Tools: An Analytical and Experimental Comparison of CSP Extensions and Tools / Ling Shi, Yang Liu, Jun Sun, Jin Song Dong, Gustavo Carvalho -- Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization / Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong -- Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers / Svetoslav Ganov, Sarfraz Khurshid, Dewayne E. Perry -- State Space c-Reductions of Concurrent Systems in Rewriting Logic / Alberto Lluch Lafuente, Jose Meseguer, Andrea Vandin -- Testing and Runtime Verification: A Practical Loop Invariant Generation Approach Based on Random Testing, Constraint Solving and Verification / Mengjun Li -- ConSMutate: SQL Mutants for Guiding Concolic Testing of Database Applications / Tanmoy Sarkar, Samik Basu, Johnny S. Wong -- Demonic Testing of Concurrent Programs / Scott West, Sebastian Nanz, Bertrand Meyer -- Towards Certified Runtime Verification / Jan Olaf Blech, Ylies Falcone, Klaus Becker.
Bibliography Note Includes bibliographical references and author index.
Summary This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification.
Note Online resource; title from digital title page (viewed on Nov. 9, 2012).
ISBN 9783642342813 (electronic bk.)
3642342817 (electronic bk.)
9783642342806 (print)
3642342809 (print)
OCLC # 817799538
Additional Format Print version: International Conference on Formal Engineering Methods (14th : 2012 : Kyoto, Japan). Formal methods and software engineering. Berlin : Springer, 2012 (OCoLC)824824227

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