| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Josh Berdine, Byron Cook, Samin Ishtiaq |
SLAyer: Memory Safety for Systems-Level Code.  |
CAV  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell |
Language Equivalence for Probabilistic Automata. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
PRISM 4.0: Verification of Probabilistic Real-Time Systems. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh 0002 |
Quantitative Synthesis for Concurrent Programs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Brumley, Ivan Jager, Thanassis Avgerinos, Edward J. Schwartz |
BAP: A Binary Analysis Platform. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Kroening, Georg Weissenbacher |
Interpolation-Based Software Verification with Wolverine. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Eric Koskinen, Moshe Y. Vardi |
Temporal Property Verification as a Program Analysis Task. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato |
Getting Rid of Store-Buffers in TSO Analysis. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Valeriy Balabanov, Jie-Hong R. Jiang |
Resolution Proofs and Skolem Functions in QBF Evaluation and Applications. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Milos Zefran, Yao Feng |
Monitorability of Stochastic Dynamical Systems. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Brauer, Andy King, Jael Kriener |
Existential Quantification as Incremental SAT. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler |
SpaceEx: Scalable Verification of Hybrid Systems. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vigyan Singhal, Prashant Aggarwal |
Using Coverage to Deploy Formal Verification in a Simulation World. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Müller, Wolfgang Paul |
Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar |
Forest Automata for Verification of Heap Manipulation. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer |
Logic and Compositional Verification of Hybrid Systems - (Invited Tutorial). |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Stefan Kiefer, Antonín Kucera |
Efficient Analysis of Probabilistic Programs with an Unbounded Counter. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Peter, Rüdiger Ehlers, Robert Mattmüller |
Synthia: Verification and Synthesis for Timed Automata. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli |
CVC4. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Bardin, Philippe Herrmann, Jérôme Leroux, Olivier Ly, Renaud Tabary, Aymeric Vincent |
The BINCOA Framework for Binary Code Analysis. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer, M. Erkan Keremoglu |
CPAchecker: A Tool for Configurable Software Verification. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang |
Time for Statistical Model Checking of Real-Time Systems. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hillel Kugler, Cory Plock, Andy Roberts |
Synthesizing Biological Theories. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang |
Model Checking Algorithms for CTMDPs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hague, Anthony Widjaja Lin |
Model Checking Recursive Programs with Numeric Data Types. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala |
Using Types for Software Verification. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
Threader: A Constraint-Based Verifier for Multi-threaded Programs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Domagoj Babic, Daniel Reynaud, Dawn Song |
Malware Analysis with Tree Automata Inference. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Georges Morbé, Florian Pigorsch, Christoph Scholl |
Fully Symbolic Model Checking for Timed Automata. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah |
Verification of Certifying Computations. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ganesh Gopalakrishnan, Shaz Qadeer (eds.) |
Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamil Dudka, Petr Peringer, Tomás Vojnar |
Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Hang, Panagiotis Manolios, Vasilis Papavasileiou |
Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Sharma 0001, Isil Dillig, Thomas Dillig, Alex Aiken |
Simplifying Loop Invariant Generation Using Splitter Predicates. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jade Alglave, Luc Maranget |
Stability in Weak Memory Models. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Sergio Mover, Stefano Tonetta |
Efficient Scenario Verification for Hybrid Automata. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl |
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oukseh Lee, Hongseok Yang, Rasmus Petersen |
Program Analysis for Overlaid Data Structures. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krystof Hoder, Nikolaj Bjørner, Leonardo Mendonça de Moura |
μZ- An Efficient Engine for Fixed Points with Constraints. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae, José Meseguer |
State/Event-Based LTL Model Checking under Parametric Generalized Fairness. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guodong Li, Indradeep Ghosh, Sreeranga P. Rajan |
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg Shah |
Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin |
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Kroening, Joël Ouaknine, Ofer Strichman, Thomas Wahl, James Worrell |
Linear Completeness Thresholds for Bounded Model Checking. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gal Katz, Doron Peled, Sven Schewe |
Synthesis of Distributed Control through Knowledge Accumulation. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manu Jose, Rupak Majumdar |
Bug-Assist: Assisting Fault Localization in ANSI-C Programs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tihomir Gvero, Viktor Kuncak, Ruzica Piskac |
Interactive Synthesis of Code Snippets. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sriram Sankaranarayanan, Ashish Tiwari |
Relational Abstractions for Continuous and Hybrid Systems. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajith K. John, Supratik Chakraborty |
A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Stepp, Ross Tate, Sorin Lerner |
Equality-Based Translation Validator for LLVM. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Uri Klein, Kedar S. Namjoshi |
Formalization and Automated Verification of RESTful Behavior. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Swarat Chaudhuri, Armando Solar-Lezama |
Smoothing a Program Soundly and Robustly. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Grosu, Grégory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci |
From Cardiac Cells to Genetic Regulatory Networks. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko |
HMC: Verifying Functional Programs Using Abstract Interpreters. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri |
Kratos - A Software Model Checker for SystemC. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksander Andreychenko, Linar Mikeev, David Spieler, Verena Wolf |
Parameter Identification for Markov Models of Biochemical Reactions. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin |
FixBag: A Fixpoint Calculator for Quantified Bag Constraints. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri |
SMT-Based Modular Analysis of Sequential Systems Code. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Ramos, Dawson R. Engler |
Practical, Low-Effort Equivalence Verification of Real Code. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasumathi Raman, Hadas Kress-Gazit |
Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Vafeiadis |
Automatically Proving Linearizability. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Donzé |
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rüdiger Ehlers |
Symbolic Bounded Synthesis. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon |
libalf: The Automata Learning Framework. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux |
Quantifier Elimination by Lazy Model Enumeration. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente, Francesco Sorrentino 0002 |
A NuSMV Extension for Graded-CTL Model Checking. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanne Graf, Doron Peled, Sophie Quinton |
Achieving Distributed Control through Model Checking. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies |
Local Verification of Global Invariants in Concurrent Programs. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck |
Jtlv: A Framework for Developing Verification Algorithms. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Rybalchenko |
Constraint Solving for Program Verification: Theory and Practice by Example. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Somesh Jha |
Retrofitting Legacy Code for Security. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Radu Iosif, Filip Konecný |
Fast Acceleration of Ultimately Periodic Relations. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ariel Cohen 0002, Kedar S. Namjoshi, Yaniv Sa'ar |
A Dash of Fairness for Compositional Reasoning. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala |
Dsolve: Safety Verification via Liquid Types. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tayssir Touili, Byron Cook, Paul Jackson (eds.) |
Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg |
The Static Driver Verifier Research Platform. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudipta Kundu, Malay K. Ganai, Chao Wang |
Contessa: Concurrency Testing Augmented with Symbolic Analysis. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell |
Fences in Weak Memory Models. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maged M. Michael |
Memory Management in Concurrent Algorithms. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore La Torre, P. Madhusudan, Gennaro Parlato |
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert K. Brayton, Alan Mishchenko |
ABC: An Academic Industrial-Strength Verification Tool. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh 0002 |
Measuring and Synthesizing Systems in Probabilistic Environments. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn |
Safety Verification for Probabilistic Hybrid Systems. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber |
RATSY - A New Requirements Analysis Tool with Synthesis. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur |
Model Checking of Linearizability of Concurrent List Implementations. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin |
Generating Litmus Tests for Contrasting Memory Consistency Models. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz |
Efficient Emptiness Check for Timed Büchi Automata. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu |
On Array Theory of Bounded Elements. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer |
A Model Checker for AADL. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann |
Robustness in the Presence of Liveness. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna |
Gist: A Solver for Probabilistic Games. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang |
PARAM: A Model Checker for Parametric Markov Models. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rishabh Singh, Dimitra Giannakopoulou, Corina S. Pasareanu |
Learning Component Interfaces with May and Must Abstractions. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang |
Automated Assume-Guarantee Reasoning through Implicit Learning. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Felix Klaedtke, Samuel Müller |
Policy Monitoring in First-Order Temporal Logic. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Meyer, Tim Strazny |
Petruchio: From Dynamic Networks to Nets. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Caniart |
Merit: An Interpolating Model-Checker. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Kaiser, Daniel Kroening, Thomas Wahl |
Dynamic Cutoff Detection in Parameterized Concurrent Programs. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin |
Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")