3 search results - page 1 / 1 » Applying the Composition Principle to Verify a Hierarchy of ... |
HICSS
1998
IEEE
13 years 11 months ago
1998
IEEE
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
EDCC
1994
Springer
13 years 11 months ago
1994
Springer
Security and reliability issues in distributed systems have been investigated for several years at LAAS using a technique called Fragmentation-Redundancy-Scattering (FRS). The aim ...