129 results on '"Srivas, Mandayam"'
Search Results
2. A Domain Specific Language for Testing Consensus Implementations
3. Permutation Invariance of Deep Neural Networks with ReLUs
4. Automated Property Directed Self Composition
5. Automated Property Directed Self Composition
6. Permutation Invariance of Deep Neural Networks with ReLUs
7. A formal methods approach to predicting new features of the eukaryotic vesicle traffic system
8. 2LS: Memory Safety and Non-termination : (Competition Contribution)
9. Concurrent Program Verification with Invariant-Guided Underapproximation
10. Compositional Safety Refutation Techniques
11. 2LS: Memory Safety and Non-termination
12. Concurrent Program Verification with Invariant-Guided Underapproximation
13. Compositional Safety Refutation Techniques
14. Verifying Advanced Microarchitectures that Support Speculation and Exceptions
15. Proof of Correctness of a Processor with Reorder Buffer Using the Completion Functions Approach
16. A Proof of Correctness of a Processor Implementing Tomasulo’s Algorithm without a Reorder Buffer
17. Decomposing the proof of correctness of pipelined microprocessors
18. Hardware verification using PVS
19. Using PVS to prove some theorems of David Parnas
20. Verification of a pipelined microprocessor using clio
21. Formal Verification of a Complex Pipelined Processor
22. Modular Verification of SRT Division
23. A formal methods approach to predicting new features of the eukaryotic vesicle traffic system
24. Applying formal verification to the AAMP5 microprocessor: A case study in the industrial use of formal methods
25. Verifying Advanced Microarchitectures that Support Speculation and Exceptions
26. Proof of Correctness of a Processor with Reorder Buffer Using the Completion Functions Approach
27. Decomposing the proof of correctness of pipelined microprocessors
28. Hardware verification using PVS
29. Formal verification of a pipelined microprocessor
30. Using PVS to prove some theorems of David Parnas
31. Formal Verification of the AAMP-FV Microcode
32. A Systematic Methodology for Verifying Superscalar Microprocessors
33. Verification of a pipelined microprocessor using clio
34. A Bitvectors Library for PVS
35. Formal verification of an avionics microprocessor
36. The formal verification used for the AAMP5 and AAMP-FV
37. The AAMP5/AAMP-FV project
38. Moving formal methods into practice. Verifying the FTPP Scoreboard: Results, phase 1
39. Verification of the FtCayuga fault-tolerant microprocessor system. Volume 2: Formal specification and correctness theorems
40. Verification of the FtCayuga fault-tolerant microprocessor system. Volume 1: A case study in theorem prover-based verification
41. Verifying an interactive consistency circuit: A case study in the reuse of a verification technology
42. Reasoning in systems of equations and inequations
43. Negation with logical variables in conditional rewriting
44. PROLOG-based inductive theorem proving
45. A PROLOG environment for developing and reasoning about data types
46. A rewrite rule based approach for synthesizing abstract data types
47. Conditional specifications with inequational assumptions
48. Discovering vesicle traffic network constraints by model checking
49. Accelerating invariant generation
50. Equivalence Checking Using Trace Partitioning
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.