MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Applying verification" – sorted by Relevance.

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

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

418 documents found, showing 1 through 10. Next 10 →

ATOM

Applying Verification Methods to Non-Exhaustive Verification of Software/hardware Systems
by M.C.W. Geilen, D. R. Dams, J.P.M. Voeten — 1998
…Applying verification methods to non-exhaustive verification of software/hardware systems Abstract…
Cited by 5 (5 self) – Add To MetaCart

Applying Source-Code Verification
by To Microkernel The, Fakult At Informatik, Technische Berichte, Michael Hohmuth, Michael Hohmuth, Hendrik Tews, Hendrik Tews, Shane G. Stephens, Shane G. Stephens
…Applying source-code verification to a microkernel --- The VFiasco project Michael Hohmuth, Hendrik…
Add To MetaCart

Applying Rewriting Techniques to the Verification of Erlang Processes
by Thomas Arts , Jürgen Giesl — 1999 — IN CSL
…Applying Rewriting Techniques to the Verification of Erlang Processes ? Thomas Arts 1 and Jurgen…
Cited by 3 (0 self) – Add To MetaCart

Applying source-code verification to a microkernel - The VFiasco project
by Fakult At Informatik, Technische Berichte, Michael Hohmuth, Michael Hohmuth, Hendrik Tews, Hendrik Tews, Shane G. Stephens, Shane G. Stephens — 2002
…Applying source-code verification to a microkernel --- The VFiasco project Michael Hohmuth, Hendrik…
Add To MetaCart

Formal Verification of a Theory of IEEE Rounding
by Christian Jacobi — 2001 — TPHOLs 2001: Supplemental Proceedings, Informatics Research Report EDI-INF-RR-0046
…Formal Verification of a Theory of IEEE Rounding Christian Jacobi Saarland University, Computer…
Cited by 6 (1 self) – Add To MetaCart

Caching Coherently Work Project No. 311405-5938
by Date April From
… this problem (perhaps for applying verification techniques). This topic has suffered from bad descriptions…
Add To MetaCart

Unfoldings of Unbounded Petri Nets
by Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén — 2000
… explosion in model checking. The method has been applied to verification of 1-safe (finite) Petri nets…
Cited by 3 (1 self) – Add To MetaCart

On Translation Validation for System Abstractions
by Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-heffter — 2007 — In: RV 2007
… is applied in the verification of adaptive embedded systems. 1 Introduction Recently, a large amount…
Cited by 1 (1 self) – Add To MetaCart

Verification and validation issues and implications for reuse
by John D. Mcgregor — 2002 — In Workshop on Verification and Validation of Models and Simulations (Foundations’02, Proceedings
… to achieve strategic levels of reuse. These techniques can and are being applied to the verification…
Cited by 1 (0 self) – Add To MetaCart

Model checking software via abstraction of loop transitions
by Natasha Sharygina, James C. Browne — 2003 — IN ETAPS: FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE
… was applied to verification of NASA robot control software. The abstraction enabled model checking…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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