Sciweavers

Share
FM
1999
Springer
113views Formal Methods» more  FM 1999»
9 years 8 months ago
Data Abstraction for CSP-OZ
Heike Wehrheim
FM
1999
Springer
161views Formal Methods» more  FM 1999»
9 years 8 months ago
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
Stavros Tripakis, Karine Altisen
FM
1999
Springer
93views Formal Methods» more  FM 1999»
9 years 8 months ago
Group Principals and the Formalization of Anonymity
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
Paul F. Syverson, Stuart G. Stubblebine
FM
1999
Springer
114views Formal Methods» more  FM 1999»
9 years 8 months ago
Integrating Formal Description Techniques
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
Bernhard Schätz, Franz Huber
FM
1999
Springer
101views Formal Methods» more  FM 1999»
9 years 8 months ago
Systems Development Using Z Generics
Fiona Polack, Susan Stepney
FM
1999
Springer
111views Formal Methods» more  FM 1999»
9 years 8 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff
FM
1999
Springer
161views Formal Methods» more  FM 1999»
9 years 8 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
FM
1999
Springer
104views Formal Methods» more  FM 1999»
9 years 8 months ago
On Excusable and Inexcusable Failures
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...
Markus Müller-Olm, Andreas Wolf
FM
1999
Springer
126views Formal Methods» more  FM 1999»
9 years 8 months ago
Correctness Proof of the Standardized Algorithm for ABR Conformance
Conformance control for ATM cells is based on a real-time reactive algorithm which delivers a value depending on inputs from the network. This value must always agree with a well d...
Jean-François Monin, Francis Klay
books