Computer Aided Verification
From MaRDI portal
Publication:5312910
DOI10.1007/b98490zbMath1103.68606OpenAlexW4298302743MaRDI QIDQ5312910
Constantinos Bartzis, Tevfik Bultan
Publication date: 25 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98490
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (9)
Structural Presburger digit vector automata ⋮ Action language verifier: An infinite-state model checker for reactive software specifications ⋮ Learning to verify branching time properties ⋮ String abstract domains and their combination ⋮ Twinning automata and regular expressions for string static analysis ⋮ Automata-based symbolic string analysis for vulnerability detection ⋮ Symbolic String Verification: Combining String Analysis and Size Analysis ⋮ Relational String Verification Using Multi-track Automata ⋮ Don't care words with an application to the automata-based approach for real addition
This page was built for publication: Computer Aided Verification