Sciweavers

FM
2006
Springer
124views Formal Methods» more  FM 2006»
14 years 2 months ago
Compositional Binding in Network Domains
This paper considers network services that bind identifiers in the course of delivering messages, and also persistent, point-to-point connections made in the context of such bindin...
Pamela Zave
FM
2006
Springer
97views Formal Methods» more  FM 2006»
14 years 2 months ago
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman
FM
2006
Springer
112views Formal Methods» more  FM 2006»
14 years 2 months ago
Interactive Verification of Medical Guidelines
Medical guidelines are useful to standardize health care. As thousands of patients are treated according to these guidelines, the quality of guidelines is an important issue. In th...
Jonathan Schmitt, Alwin Hoffmann, Michael Balser, ...
FM
2006
Springer
169views Formal Methods» more  FM 2006»
14 years 2 months ago
PSL Model Checking and Run-Time Verification Via Testers
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
Amir Pnueli, Aleksandr Zaks
FM
2006
Springer
85views Formal Methods» more  FM 2006»
14 years 2 months ago
Towards Automatic Exception Safety Verification
Xin Li, H. James Hoover, Piotr Rudnicki
FM
2006
Springer
113views Formal Methods» more  FM 2006»
14 years 2 months ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
FM
2006
Springer
146views Formal Methods» more  FM 2006»
14 years 2 months ago
Formal Modeling of Communication Protocols by Graph Transformation
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
Zarrin Langari, Richard J. Trefler
FM
2006
Springer
97views Formal Methods» more  FM 2006»
14 years 2 months ago
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions
This paper addresses the frame problem for programming theories that support both sharing and encapsulation through specification variables. The concept of dynamic frames is introd...
Ioannis T. Kassios
FM
2006
Springer
116views Formal Methods» more  FM 2006»
14 years 2 months ago
A Memory Model Sensitive Checker for C#
Thuan Quang Huynh, Abhik Roychoudhury