share record
persistent URL:
Henri Hansen , Shang-Wei Lin , Yang Liu , Truong Khanh Nguyen , Jun Sun : Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions. CAV 2014 : 391-406 share record
persistent URL:
Matthias Heizmann , Jochen Hoenicke , Andreas Podelski : Termination Analysis by Learning Terminating Programs. CAV 2014 : 797-813 share record
persistent URL:
Zhenqi Huang , Chuchu Fan , Alexandru Mereacre , Sayan Mitra , Marta Z. Kwiatkowska : Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. CAV 2014 : 373-390 share record
persistent URL:
Omar Inverso , Ermenegildo Tomasco , Bernd Fischer , Salvatore La Torre , Gennaro Parlato : Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization. CAV 2014 : 585-602 share record
persistent URL:
Shachar Itzhaky , Nikolaj S. Bjørner , Thomas W. Reps , Mooly Sagiv , Aditya V. Thakur : Property-Directed Shape Analysis. CAV 2014 : 35-51 share record
persistent URL:
Sudeep Kanav , Peter Lammich , Andrei Popescu : A Conference Management System with Verified Document Confidentiality. CAV 2014 : 167-183 share record
persistent URL:
Anvesh Komuravelli , Arie Gurfinkel , Sagar Chaki : SMT-Based Model Checking for Recursive Programs. CAV 2014 : 17-34 share record
persistent URL:
Andrey Kupriyanov , Bernd Finkbeiner : Causal Termination of Multi-threaded Programs. CAV 2014 : 814-830 share record
persistent URL:
Daniel Larraz , Kaustubh Nimkar , Albert Oliveras , Enric Rodríguez-Carbonell , Albert Rubio : Proving Non-termination Using Max-SMT. CAV 2014 : 779-796 share record
persistent URL:
Quang Loc Le , Cristian Gherghina , Shengchao Qin , Wei-Ngan Chin : Shape Analysis via Second-Order Bi-Abduction. CAV 2014 : 52-68 share record
persistent URL:
Suho Lee , Karem A. Sakallah : Unbounded Scalable Verification Based on Approximate Property-Directed Reachability and Datapath Abstraction. CAV 2014 : 849-865 share record
persistent URL:
Mohsen Lesani , Todd D. Millstein , Jens Palsberg : Automatic Atomicity Verification for Clients of Concurrent Data Structures. CAV 2014 : 550-567 share record
persistent URL:
Tianyi Liang , Andrew Reynolds , Cesare Tinelli , Clark W. Barrett , Morgan Deters : A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions. CAV 2014 : 646-662 share record
persistent URL:
Ravichandhran Madhavan , Viktor Kuncak : Symbolic Resource Bound Inference for Functional Programs. CAV 2014 : 762-778 share record
persistent URL:
Kenneth L. McMillan : Lazy Annotation Revisited. CAV 2014 : 243-259 share record
persistent URL:
Alexander Nadel : Bit-Vector Rewriting with Automatic Rule Generation. CAV 2014 : 663-679 export record
dblp key:
conf/cav/NarodytskaLBRW14 share record
persistent URL:
Nina Narodytska , Alexander Legg , Fahiem Bacchus , Leonid Ryzhyk , Adam Walker : Solving Games without Controllable Predecessor. CAV 2014 : 533-540 share record
persistent URL:
Nicola Paoletti , Boyan Yordanov , Youssef Hamadi , Christoph M. Wintersteiger , Hillel Kugler : Analyzing and Synthesizing Genomic Logic Functions. CAV 2014 : 343-357 share record
persistent URL:
Ruzica Piskac , Thomas Wies , Damien Zufferey : Automating Separation Logic with Trees and Data. CAV 2014 : 711-728 share record
persistent URL:
Zvonimir Rakamaric , Michael Emmi : SMACK: Decoupling Source Language Details from Verifier Implementations. CAV 2014 : 106-113 share record
persistent URL:
Alejandro Sánchez , César Sánchez : LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes. CAV 2014 : 620-627 share record
persistent URL:
Moritz Sinn , Florian Zuleger , Helmut Veith : A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis. CAV 2014 : 745-761 share record
persistent URL:
Ashish Tiwari , Patrick Lincoln : A Nonlinear Real Arithmetic Fragment. CAV 2014 : 729-736 share record
persistent URL:
Margus Veanes , Nikolaj S. Bjørner , Lev Nachmanson , Sergey Bereg : Monadic Decomposition. CAV 2014 : 628-645 share record
persistent URL:
Yakir Vizel , Arie Gurfinkel : Interpolating Property Directed Reachability. CAV 2014 : 260-276 share record
persistent URL:
Andrei Voronkov : AVATAR: The Architecture for First-Order Theorem Provers. CAV 2014 : 696-710 share record
persistent URL:
Anton Wijs , Joost-Pieter Katoen , Dragan Bosnacki : GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components. CAV 2014 : 310-326 share record
persistent URL:
Armin Biere , Roderick Bloem : Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. Lecture Notes in Computer Science 8559, Springer 2014 , ISBN 978-3-319-08866-2 [contents]