Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sumanth Prabhu
VeriAbs: Verification by Abstraction and Test Generation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Verification Condition Generation for Permission Logics With Abstract Predicates and Abstraction Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Verification and Test Case Generation for Input Validation
Closed-Loop Verification of Medical Devices With Model Abstraction and Refinement
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction
Verification of GSM-Based Artifact-Centric Systems Through Finite Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Experiment in Automatic Generation of Test Suites for Protocols With Verification Technology
Science of Computer Programming
Software
Termination by Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Proofs of Code Generation and Verification Tools
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
