MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Symbolic Model Checking of Software." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts
by William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner — 1999 — In Proceedings of the 21st International Conference on Software Engineering
… the problem of symbolic model checking for software specifications written as statecharts. We concentrate…
Cited by 4 (0 self) – Add To MetaCart

Decoupling Synchronization from Logic for Efficient Symbolic Model Checking of Statecharts
by William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner — 1999 — Proc. 1999 Int'l Conf. Software Eng. (ICSE '99
…-verification technique for reactive systems. In this paper we address the problem of symbolic model checking for software…
Add To MetaCart

Wolf—bug hunter for concurrent software using formal methods, in: Computer Aided Verification
by Sharon Barner, Ziv Glazberg, Ishai Rabinovitz — 2005
…. However, it can be seen in Table 1 that symbolic model checking for software scales better when bugs occur…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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