Search Sciweavers | Sciweavers

1796 search results - page 30 / 360

» An Approach to Compositional Model Checking

click to vote

SIGSOFT
2003
ACM

169views Software Engineering» more SIGSOFT 2003»

A strategy for efficiently verifying requirements

14 years 8 months ago

Download chacs.nrl.navy.mil

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 ...

Ralph D. Jeffords, Constance L. Heitmeyer

claim paper

Read More »

click to vote

ECOOP
1992
Springer

152views Programming Languages» more ECOOP 1992»

An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach

14 years 1 days ago

Download trese.cs.utwente.nl

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...

Mehmet Aksit, Lodewijk Bergmans, Sinan Vural

claim paper

Read More »

click to vote

CAV
2010
Springer

198views Hardware» more CAV 2010»

Termination Analysis with Compositional Transition Invariants

13 years 12 months ago

Download www.kroening.com

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 ...

Daniel Kroening, Natasha Sharygina, Aliaksei Tsito...

claim paper

Read More »

click to vote

SAC
2009
ACM

62views Applied Computing» more SAC 2009»

Towards a compositional approach to model transformation for software development

14 years 2 months ago