Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Yavuz-Kahveci, Tuba - Department of Computer and Information Science and Engineering, University of Florida
Action Language Verifier Tevfik Bultan Tuba YavuzKahveci
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
Action Language Verifier, Extended # Tuba YavuzKahveci Constantinos Bartzis Tevfik Bultan
Heuristics for Efficient Manipulation of Composite Constraints
UNIVERSITY of CALIFORNIA Santa Barbara
Verification of Parameterized Hierarchical State Machines Using Action Language Verifier #
A Library for Composite Symbolic Representations
Action Language Verifier Tevfik Bultan Tuba Yavuz-Kahveci
Automated Verification of Concurrent Linked Lists with Counters
Specification, Verification, and Synthesis of Concurrency Control Components \Lambda
Action Language Verifier, Extended Tuba Yavuz-Kahveci Constantinos Bartzis Tevfik Bultan
