MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The ComFoRT Reasoning Framework." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

The ComFoRT reasoning framework
by Sagar Chaki, James Ivers, Natasha Sharygina, Kurt Wallnau — 2005 — In Proceedings of Computer Aided Verification (CAV
…The ComFoRT Reasoning Framework Sagar Chaki, James Ivers, Natasha Sharygina, and Kurt Wallnau 1…
Cited by 10 (7 self) – Add To MetaCart

Verification of Evolving Software
by Sagar Chaki , Natasha Sharygina, Nishant Sinha — 2004
…). Specfically we implemented our substitutability framework as part of the model checking engine of ComFoRT…
Cited by 8 (4 self) – Add To MetaCart

Abstraction and assume-guarantee reasoning for automated software verification
by S. Chaki, E. Clarke, D. Giannakopoulou, C. S. Păsăreanu — 2004
… implemented our approach in the ComFoRT reasoning framework and we show how ComFoRT out-performs several…
Cited by 5 (3 self) – Add To MetaCart

Analysis of the SEI PACC Starter Kit Team – VdashNeg
by Berin Babcock-mcconnell, Saurabh Gupta, Jonathan Hartje, Shigeru Sasao, Sidharth Surana — 2009
… (ComFoRT), Copper, and the performance reasoning framework (Lambda-*). CCL is an architecture…
Add To MetaCart

unknown title
by The Comfort, Reasoning Framework, Sagar Chaki, James Ivers, Natasha Sharygina, Kurt Wallnau
… The ComFoRT Reasoning Framework Sagar Chaki, James Ivers, Natasha Sharygina, and Kurt Wallnau…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB