1796 search results - page 30 / 360 » An Approach to Compositional Model Checking |
103
click to vote
SIGSOFT
2003
ACM
16 years 2 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 ...
145
click to vote
ECOOP
1992
Springer
15 years 6 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...
SAC
2009
ACM
15 years 8 months ago
2009
ACM
AOSD
2007
ACM
15 years 6 months ago
2007
ACM