37 results on '"Bingham, Jesse"'
Search Results
2. Verifying Relative Error Bounds Using Symbolic Simulation
3. Distributed Explicit State Model Checking of Deadlock Freedom
4. An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures
5. A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs
6. Empirically Efficient Verification for a Class of Infinite-State Systems
7. Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
8. Semi-formal Bounded Model Checking
9. Verifying Relative Error Bounds Using Symbolic Simulation
10. Distributed Explicit State Model Checking of Deadlock Freedom
11. B-cubing: New Possibilities for efficient SAT-solving
12. A New Approach to Upward-Closed Set Backward Reachability Analysis
13. Empirically Efficient Verification for a Class of Infinite-State Systems
14. A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs
15. Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
16. Semi-formal Bounded Model Checking
17. Digit Serial Methods with Applications to Division and Square Root (with mechanically checked correctness proofs)
18. Digit Serial Methods with Applications to Division and Square Root
19. Verifiable hierarchical protocols with network invariants on parametric systems
20. Formalizing a Proof that e is Transcendental
21. Universal boolean functional vectors
22. PVCoherence: Designing Flat Coherence Protocols for Scalable Verification
23. Model checking sequential consistency and parameterized protocols
24. An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures
25. PVCoherence: Designing flat coherence protocols for scalable verification
26. Construction and Testing of A Marital/Couple Therapy Satisfaction Measure
27. Industrial Strength Distributed Explicit State Model Checking
28. Industrial strength refinement checking
29. Automatic Non-Interference Lemmas for Parameterized Model Checking
30. Hybrid one-dimensional reversible cellular automata are regular
31. Efficient SAT solving
32. Parameterized verification of deadlock freedom in symmetric cache coherence protocols.
33. Toward a decidable notion of sequential consistency
34. An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures.
35. Efficient SAT solving.
36. A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs.
37. Empirically Efficient Verification for a Class of Infinite-State Systems.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.