The proceedings contain 35 papers. The special focus in this conference is on Formal Methods Europe. The topics include: Lightweight formal methods;a way to combine dynamic properties and b refinement;mechanized analy...
ISBN:
(纸本)3540417915
The proceedings contain 35 papers. The special focus in this conference is on Formal Methods Europe. The topics include: Lightweight formal methods;a way to combine dynamic properties and b refinement;mechanized analysis of behavioral conformance in the eiffel base libraries;proofs of correctness of cache-coherence protocols;model-checking over multi-valued logics;LTL model checking of CSP by refinement;avoiding state explosion for distributedsystems with timestamps;secrecy-preserving refinement;a rigorous approach to modeling and analyzing e-commerce architectures;a programming model for wide-area computing;validation of UML models thanks to Z and lustre;components, contracts, and connectors for the unified modelling language UML;an integrated approach to specification and validation of real-time systems;real-time logic revisited;improvements in BDD-based reachability analysis of timed automata;serialising parallel processes in a hardware/software partitioning context;verifying implementation relations;faithful translations among models and specifications;composing contracts: an adventure in financial engineering;from complex specifications to a working prototype;coverage directed generation of system-level test cases for the validation of a DSP system;using formal verification techniques to reduce simulation and test effort;transacted memory for smart cards;a heuristic for symmetry reductions with scalarsets;view updatability based on the models of a formal specification;grammar adaptation;test-case calculation through abstraction;a modular approach to the specification and validation of an electrical flight control system and a combined testing and verification approach for software reliability.
distributed applications are realized by the cooperation of a group of multiple objects. In the group cooperation, a message is multicast and multiple types of message are sent in parallel to multiple destinations. Th...
详细信息
ISBN:
(纸本)0769510892
distributed applications are realized by the cooperation of a group of multiple objects. In the group cooperation, a message is multicast and multiple types of message are sent in parallel to multiple destinations. The object waits for multiple messages in conjunctive and disjunctive ways from multiple objects. The authors define a novel precedent relation of messages exchanged among objects in the presence of multicast and parallel-cast and conjunctive-receipt and disjunctive receipt of messages.
This work introduces a new technique that enables SDSMs to categorize dynamically and accurately memory sharing patterns in both classes of regular and irregular applications. The categorization is carried out automat...
详细信息
ISBN:
(纸本)0769509908
This work introduces a new technique that enables SDSMs to categorize dynamically and accurately memory sharing patterns in both classes of regular and irregular applications. The categorization is carried out automatically at run-time on a per-page basis, requiring no user or compiler assistance. We evaluate the potential benefits of our technique using execution-driven simulations of 8 applications running on TrendMarks on a network of 8 workstations. Surprisingly, we found that producer-consumer(s) and migratory are the dominant patterns even in irregular applications. Preliminary results suggest that the categorization technique we propose is a promising option to further improve the performance of current adaptive SDSM systems.
暂无评论