MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Trends in Software Verification." – 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

Trends in Software Verification
by Gerard J. Holzmann — 2003 — In: Proceedings of the Formal Methods Europe Conference
…Tr ends in Software Verification Gerard J. Holzmann JPL Laboratory for Reliable Software…
Cited by 2 (0 self) – Add To MetaCart

A First-Order Logic Davis-Putnam-Logemann-Loveland Procedure
by Peter Baumgartner
… most important trend in software verification over the last ten years is (symbolic) model checking (E…
Cited by 35 (5 self) – Add To MetaCart

Bounded model checking of concurrent programs
by Ishai Rabinovitz, Orna Grumberg — 2005 — In Computer-Aided Verification (CAV), LNCS 3576
…. If the formula is satisfied, the specification is violated. The second trend is that software verification using…
Cited by 7 (2 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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