8 results on '"Automated verification"'
Search Results
2. Towards efficient verification of population protocols
3. Rational verification: game-theoretic verification of multi-agent systems
4. Verification of a Sliding Window Protocol Using IOA and MONA
5. Inductive verification of data model invariants in web applications using first-order logic
6. Automata-based symbolic string analysis for vulnerability detection
7. Deductive verification of the Sliding Window Protocol
8. Theorem prover approach to semistructured data design
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.