23 results on '"Viswanathan, Mahesh"'
Search Results
2. Probabilistic Automata for Safety LTL Specifications
3. Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
4. Reachability under Contextual Locking
5. Complexity Bounds for the Verification of Real-Time Software
6. Model Checking Multithreaded Programs with Asynchronous Atomic Methods
7. Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics
8. Congruences for Visibly Pushdown Languages
9. On Statistical Model Checking of Stochastic Systems
10. On the Complexity of Error Explanation
11. A Higher Order Modal Fixed Point Logic
12. Statistical Model Checking of Black-Box Probabilistic Systems
13. Extending Testing Automata to All LTL
14. Difference Bound Constraint Abstraction for Timed Automata Reachability Checking
15. Faster Linearizability Checking via P-Compositionality
16. A Strategy for Automatic Verification of Stabilization of Distributed Algorithms
17. Practical Efficient Modular Linear-Time Model-Checking
18. Impartial Anticipation in Runtime-Verification
19. Goanna: Syntactic Software Model Checking
20. Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms
21. Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
22. A Direct Algorithm for Multi-valued Bounded Model Checking
23. Computation Tree Regular Logic for Genetic Regulatory Networks
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.