Search

Your search keyword '"Dill, David"' showing total 442 results

Search Constraints

Start Over You searched for: Author "Dill, David" Remove constraint Author: "Dill, David" Publication Type eBooks Remove constraint Publication Type: eBooks
442 results on '"Dill, David"'

Search Results

1. Reasoning About Vectors Using an SMT Theory of Sequences

2. Fast and Reliable Formal Verification of Smart Contracts with the Move Prover

6. The Move Prover

7. The Marabou Framework for Verification and Analysis of Deep Neural Networks

8. Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

11. Introduction

14. Introduction

15. Transparency and Quality in Higher Education Markets

16. Conclusion

19. A Retrospective on Murϕ

21. A Decision Procedure for Bit-Vectors and Arrays

23. Multiple Representations of Biological Processes

24. Predictive Reachability Using a Sample-Based Approach

25. A New Reachability Algorithm for Symmetric Multi-processor Architecture

26. An Incremental Heap Canonicalization Algorithm

28. A Partitioning Methodology for BDD-Based Verification

29. Using Interface Refinement to Integrate Formal Verification into the Design Cycle

30. Event Correlation: Language and Semantics

37. CVC: A Cooperating Validity Checker

Catalog

Books, media, physical & digital resources