Formal Methods : Applications and Technology : 11th International Workshop, FMICS 2006 and 5th International Workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers
著者
書誌事項
Formal Methods : Applications and Technology : 11th International Workshop, FMICS 2006 and 5th International Workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers
(Lecture notes in computer science, 4346)
Springer, c2007
大学図書館所蔵 全5件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references and index
内容説明・目次
内容説明
This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.
目次
Invited Contributions.- Challenges for Formal Verification in Industrial Setting.- Distributed Verification: Exploring the Power of Raw Computing Power.- FMICS.- An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment.- "To Store or Not To Store" Reloaded: Reclaiming Memory on Demand.- Discovering Symmetries.- On Combining Partial Order Reduction with Fairness Assumptions.- Test Coverage for Loose Timing Annotations.- Model-Based Testing of a WAP Gateway: An Industrial Case-Study.- Heuristics for ioco-Based Test-Based Modelling.- Verifying VHDL Designs with Multiple Clocks in SMV.- Verified Design of an Automated Parking Garage.- Evaluating Quality of Service for Service Level Agreements.- Simulation-Based Performance Analysis of a Medical Image-Processing Architecture.- Blasting Linux Code.- A Finite State Modeling of AFDX Frame Management Using Spin.- UML 2.0 State Machines: Complete Formal Semantics Via core state machine.- Automated Incremental Synthesis of Timed Automata.- SAT-Based Verification of LTL Formulas.- jmle: A Tool for Executing JML Specifications Via Constraint Programming.- Goanna-A Static Model Checker.- PDMC.- Parallel SAT Solving in Bounded Model Checking.- Parallel Algorithms for Finding SCCs in Implicitly Given Graphs.- Can Saturation Be Parallelised?.- Distributed Colored Petri Net Model-Checking with Cyclades.
「Nielsen BookData」 より