Searching for "Applying verification" – sorted by Relevance.
-
Applying Verification Methods to Non-Exhaustive Verification of Software/hardware Systems
- Applying verification methods to non-exhaustive verification of software/hardware systems Abstract
- Cited by 5 (5 self) – Add To MetaCart
-
Applying Source-Code Verification
- 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
- 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
- Applying source-code verification to a microkernel --- The VFiasco project Michael Hohmuth, Hendrik
- Add To MetaCart
-
Formal Verification of a Theory of IEEE Rounding
- 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
- this problem (perhaps for applying verification techniques). This topic has suffered from bad descriptions
- Add To MetaCart
-
Unfoldings of Unbounded Petri Nets
- 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
- 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
- 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
- was applied to verification of NASA robot control software. The abstraction enabled model checking
- Cited by 2 (1 self) – Add To MetaCart

