Searching for "Solving Bit-Vector Equations." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

Solving Bit-Vector Equations
by M. Oliver Möller, Harald Rueß — 1998 — Formal Methods in Computer-Aided Design (FMCAD '98
…Solving Bit-Vector Equations ? M. Oliver Moller 1 and Harald Rue 2 1 University of Arhus 2…
Cited by 8 (0 self) – Add To MetaCart

Solving Bit-Vector Equations - A Decision Procedure for Hardware Verification
by Michael Oliver Möller — 1998
…Solving Bit-Vector Equations -- A Decision Procedure for Hardware Verification Diploma Thesis…
Cited by 2 (1 self) – Add To MetaCart

An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors (Extended Abstract)
by David Cyrluk, Oliver Möller, Harald Rueß — 1997 — In: Computer-Aided Verification (CAV ’97
… ) (k ; l ) = t [n] (k + j ; l + j ) Fig. 1. Bit-Vector Equations 3 Solving Bit-Vector Equations Now…
Cited by 20 (2 self) – Add To MetaCart

March 1999. 21 pp. Appears in Mendelzon, editor,
by Eighth International World, Klaus Havelund, Kim G. Larsen, Arne Skou, Formal Verification, Rune B. Lyngs, Christian N. S. Pedersen, Henrik Nielsen Measures, Julian C. Bradfield, Perdita Stevens, Observational Mu-calculus, Sibylle B. Frschle, Thomas Troels Hildebr, T On Plain
… the title Solving Bit-Vector Equations in Gopalakrishnan and Windley, editors, Formal Methods in Computer…
Add To MetaCart

Showing 1 through 4.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB