Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Abhay Vardhan
LEVER: A Tool for Learning Based Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Using Language Inference to Verify Omega-Regular Properties
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
DiVinE – A Tool for Distributed Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Technological Lever as a Tool for Product-Engineering Enterprise Technology Platforms
Technology audit and production reserves
The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems
ACM Transactions on Programming Languages and Systems
Software
SAT-Based Compositional Verification Using Lazy Learning
BProVe: Tool Support for Business Process Verification
Case Studies – A Tool for Learning
Proceedings of the Canadian Engineering Education Association (CEEA)
An Automatic Verification Tool for Firewall Configurations
D-Finder: A Tool for Compositional Deadlock Detection and Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Multiple Kernel Learning for Speaker Verification
2008 IEEE International Conference on Acoustics, Speech and Signal Processing
