CAV

Keyphrases

Publications

2014

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman
String Constraints for Verification. CAV (2014)
Ruzica Piskac, Thomas Wies, Damien Zufferey
Automating Separation Logic with Trees and Data. CAV (2014)
Rahul Sharma, Alex Aiken
From Invariant Checking to Invariant Inference Using Randomized Search. CAV (2014)
Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta
The nuXmv Symbolic Model Checker. CAV (2014)
Bruno Dutertre
Yices 2.2. CAV (2014)
Alexander Nadel
Bit-Vector Rewriting with Automatic Rule Generation. CAV (2014)
Moritz Sinn, Florian Zuleger, Helmut Veith
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis. CAV (2014)
Andrey Kupriyanov, Bernd Finkbeiner
Causal Termination of Multi-threaded Programs. CAV (2014)
Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
ICE: A Robust Framework for Learning Invariants. CAV (2014)
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann
G4LTL-ST: Automatic Generation of PLC Programs. CAV (2014)
Daniel Larraz, Kaustubh Nimkar, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
Proving Non-termination Using Max-SMT. CAV (2014)
Tomás Brázdil, David Klaska, Antonín Kucera, Petr Novotný
Minimizing Running Costs in Consumption Systems. CAV (2014)
Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization. CAV (2014)
Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers. CAV (2014)
Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov
Regression Test Selection for Distributed Software Histories. CAV (2014)
Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki
GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components. CAV (2014)
Johannes Birgmeier, Aaron R. Bradley, Georg Weissenbacher
Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR). CAV (2014)
Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. CAV (2014)
Loris D'Antoni, Rajeev Alur
Symbolic Visibly Pushdown Automata. CAV (2014)
Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca
CEGAR for Qualitative Analysis of Probabilistic Systems. CAV (2014)
Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. CAV (2014)
Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman
Finding Instability in Biological Models. CAV (2014)
Javier Esparza, Jan Kretínský
From LTL to Deterministic Automata: A Safraless Compositional Approach. CAV (2014)
Ravichandhran Madhavan, Viktor Kuncak
Symbolic Resource Bound Inference for Functional Programs. CAV (2014)
Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta
Temporal Mode-Checking for Runtime Monitoring of Privacy Policies. CAV (2014)
Andrei Voronkov
AVATAR: The Architecture for First-Order Theorem Provers. CAV (2014)
Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler
Analyzing and Synthesizing Genomic Logic Functions. CAV (2014)
Thomas Dillig, Isil Dillig, Swarat Chaudhuri
Optimal Guard Synthesis for Memory Safety. CAV (2014)
Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin
Shape Analysis via Second-Order Bi-Abduction. CAV (2014)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
Regression-Free Synthesis for Concurrency. CAV (2014)
Shachar Itzhaky, Nikolaj Bjørner, Thomas W. Reps, Mooly Sagiv, Aditya V. Thakur
Property-Directed Shape Analysis. CAV (2014)
Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer
Engineering a Static Verification Tool for GPU Kernels. CAV (2014)
Hassan Eldib, Chao Wang
Synthesis of Masking Countermeasures against Side Channel Attacks. CAV (2014)
Alejandro Sánchez, César Sánchez
LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes. CAV (2014)
Mohsen Lesani, Todd D. Millstein, Jens Palsberg
Automatic Atomicity Verification for Clients of Concurrent Data Structures. CAV (2014)
Ashish Tiwari, Patrick Lincoln
A Nonlinear Real Arithmetic Fragment. CAV (2014)
Dirk Beyer, Georg Dresler, Philipp Wendler
Software Verification in the Google App-Engine Cloud. CAV (2014)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
Verifying LTL Properties of Hybrid Systems with K-Liveness. CAV (2014)
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
Termination Analysis by Learning Terminating Programs. CAV (2014)
Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic
An SMT-Based Approach to Coverability Analysis. CAV (2014)
Zvonimir Rakamaric, Michael Emmi
SMACK: Decoupling Source Language Details from Verifier Implementations. CAV (2014)
Yakir Vizel, Arie Gurfinkel
Interpolating Property Directed Reachability. CAV (2014)
Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki
SMT-Based Model Checking for Recursive Programs. CAV (2014)
Sudeep Kanav, Peter Lammich, Andrei Popescu
A Conference Management System with Verified Document Confidentiality. CAV (2014)
Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion. CAV (2014)
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)
Jesse Bingham, Joe Leslie-Hurd
Verifying Relative Error Bounds Using Symbolic Simulation. CAV (2014)
Liana Hadarean, Kshitij Bansal, Dejan Jovanovic, Clark W. Barrett, Cesare Tinelli
A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors. CAV (2014)
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Monadic Decomposition. CAV (2014)

volume 8559, 2014

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 CAV 8559 (2014)