„Symbolic Execution“
Suchergebnisse
1.000+ Treffer
-
Proactive Energy-Aware Computing
-
Towards Automated Refinement of TLM Properties to RTL
-
Accurate binary-level symbolic execution of embedded firmware
-
Engineering of Reliable and Secure Software via Customizable Integrated Compilation Systems
-
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
-
Symbolic execution and program synthesis – a general methodology for software verification
-
Towards formal explainability – Faithful distillation of deep neural networks into interpretable surrogate models
-
Verifying Concurrent Systems with Symbolic Execution – Temporal Reasoning is Symbolic Execution with a Little Induction
-
Integrated Module Testing and Module Verification
-
Symbolic Execution of Distributed Systems
-
Verifying concurrent systems with symbolic execution – temporal reasoning is symbolic execution with a little induction
-
NASA Formal Methods – 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
-
Interactive verification of concurrent systems using symbolic execution
-
Compositional proofs with symbolic execution
-
KDAlloc – The KLEE Deterministic AllocatorDeterministic Memory Allocation during Symbolic Execution and Test Case Replay
-
symQV – Automated Symbolic Verification of Quantum Programs
-
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
-
Verifying concurrent systems with symbolic execution
-
Dynamic Symbolic Execution with Scalable Interpolation Based Path Merging
-
Java program analysis by symbolic execution