Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Hui Kong 0004, Fei He 0001, Xiaoyu Song, William N. N. Hung, Ming Gu 0001 |
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Simon Meier, Benedikt Schmidt 0002, Cas Cremers, David A. Basin |
The TAMARIN Prover for the Symbolic Analysis of Security Protocols. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pavithra Prabhakar, Miriam Garcia Soto |
Abstraction Based Model-Checking of Stability of Hybrid Systems. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Natasha Sharygina, Helmut Veith (eds.) |
Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Panagiotis Manolios, Vasilis Papavasileiou |
ILP Modulo Theories. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, Jaco van de Pol |
Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Adi Sosnovich, Orna Grumberg, Gabi Nakibly |
Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shachar Itzhaky, Anindya Banerjee 0001, Neil Immerman, Aleksandar Nanevski, Mooly Sagiv |
Effectively-Propositional Reasoning about Reachability in Linked Data Structures. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Roy Armoni, Dana Fisman, Naiyong Jin |
SVA and PSL Local Variables - A Practical Approach. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Andreas Gaiser, Jan Kretínský |
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kroening, Matt Lewis, Georg Weissenbacher |
Under-Approximating Loops in C Programs for Fast Counterexample Detection. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Johannes G. Reiter, Ivana Bozic, Krishnendu Chatterjee, Martin A. Nowak |
TTP: Tool for Tumor Progression. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Rümmer, Hossein Hojjat, Viktor Kuncak |
Disjunctive Interpolants for Horn-Clause Verification. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Azadeh Farzan, Zachary Kincaid |
Duet: Static Analysis for Unbounded Parallelism. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arun Tejasvi Chaganty, Akash Lal, Aditya V. Nori, Sriram K. Rajamani |
Combining Relational Learning with SMT Solvers Using CEGAR. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Reynolds 0001, Cesare Tinelli, Amit Goel, Sava Krstic |
Finite Model Finding in SMT. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jade Alglave, Daniel Kroening, Michael Tautschnig |
Partial Orders for Efficient Bounded Model Checking of Concurrent Software. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tom Chothia, Yusuke Kawamoto 0001, Chris Novakovic |
A Tool for Estimating Information Leakage. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Haase, Samin Ishtiaq, Joël Ouaknine, Matthew J. Parkinson |
SeLoger: A Tool for Graph-Based Reasoning in Separation Logic. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac |
Incremental, Inductive Coverability. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Guanfeng Lv, Kaile Su, Yanyan Xu 0001 |
CacBDD: A BDD Package with Dynamic Cache Management. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xin Chen 0002, Erika Ábrahám, Sriram Sankaranarayanan 0001 |
Flow*: An Analyzer for Non-linear Hybrid Systems. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Ganty, Samir Genaim |
Proving Termination Starting from the End. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Brad D. Bingham, Jesse D. Bingham, John Erickson, Mark R. Greenstreet |
Distributed Explicit State Model Checking of Deadlock Freedom. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pranav Garg 0001, Christof Löding, P. Madhusudan, Daniel Neider |
Learning Universally Quantified Invariants of Linear Data Structures. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, Edmund M. Clarke |
Automatic Abstraction in SMT-Based Unbounded Software Model Checking. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ruzica Piskac, Thomas Wies, Damien Zufferey |
Automating Separation Logic Using SMT. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács, Andrei Voronkov |
First-Order Theorem Proving and Vampire. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Cheval, Véronique Cortier, Antoine Plet |
Lengths May Break Privacy - Or How to Check for Equivalences with Length. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Paulevé, Geoffroy Andrieux, Heinz Koeppl |
Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | William R. Harris, Guoliang Jin, Shan Lu 0001, Somesh Jha |
Validating Library Usage Interactively. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi |
Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke |
Assume-Guarantee Abstraction Refinement for Probabilistic Systems. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aws Albarghouthi, Yi Li 0008, Arie Gurfinkel, Marsha Chechik |
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aaron R. Bradley |
IC3 and beyond: Incremental, Inductive Verification. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Naiyong Jin, Jean-François Raskin |
Acacia+, a Tool for LTL Synthesis. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Hopkins 0002, Andrzej S. Murawski, C.-H. Luke Ong |
Hector: An Equivalence Checker for a Higher-Order Fragment of ML. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera 0001, Petr Novotný 0001 |
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | William R. Harris, Somesh Jha, Thomas W. Reps |
Secure Programming via Visibly Pushdown Safety Games. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jan Hoffmann 0002, Klaus Aehlig, Martin Hofmann 0001 |
Resource Aware ML. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David L. Dill |
Model Checking Cell Biology. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Calin C. Guet, Ashutosh Gupta 0001, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin |
Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Benqué, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex S. Taylor, Moshe Y. Vardi |
Bma: Visual Tool for Modeling and Analyzing Biological Networks. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Venet |
The Gauge Domain: Scalable Analysis of Linear Inequality Invariants. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yu-Fang Chen 0001, Bow-Yaw Wang |
Learning Boolean Functions Incrementally. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Akash Lal, Shaz Qadeer, Shuvendu K. Lahiri |
A Solver for Reachability Modulo Theories. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Schellhorn, Heike Wehrheim, John Derrick |
How to Prove Algorithms Linearisable. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nishant Sinha 0001, Nimit Singhania, Satish Chandra 0001, Manu Sridharan |
Alternate and Learn: Finding Witnesses without Looking All over. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers |
ACTL ∩ LTL Synthesis. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Tiwari 0001 |
HybridSAL Relational Abstracter. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams |
An Axiomatic Memory Model for POWER Multiprocessors. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger |
Diagnosing Abstraction Failure for Separation Logic-Based Analyses. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Hague, Anthony Widjaja Lin |
Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shibashis Guha, Chinmay Narayan, S. Arun-Kumar 0004 |
On Decidability of Prebisimulation for Timed Automata. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar, Majid Zamani 0001 |
Approximately Bisimilar Symbolic Models for Digital Control Systems. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Arlt, Martin Schäf |
Joogie: Infeasible Code Detection for Java. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ichiro Hasuo, Kohei Suenaga |
Exercises in Nonstandard Static Analysis of Hybrid Systems. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa |
TRACER: A Symbolic Execution Tool for Verification. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Schwartz-Narbonne, Feng Liu, David I. August, Sharad Malik |
passert: A Tool for Debugging Parallel Programs. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rishabh Singh, Sumit Gulwani |
Synthesizing Number Transformations from Input-Output Examples. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shuvendu K. Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebêlo |
SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin Song Dong |
A Model Checker for Hierarchical Probabilistic Real-Time Systems. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aditya V. Thakur, Thomas W. Reps |
A Method for Symbolic Computation of Abstract Operations. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rastislav Bodík, Emina Torlak |
Synthesizing Programs with Constraint Solvers. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Boris Köpf, Laurent Mauborgne, Martín Ochoa |
Automatic Quantification of Cache Side-Channels. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Simone Fulvio Rollini, Ondrej Sery, Natasha Sharygina |
Leveraging Interpolant Strength in Model Checking. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rahul Sharma 0001, Aditya V. Nori, Alex Aiken |
Interpolants as Classifiers. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal |
Detecting Fair Non-termination in Multithreaded Programs. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Zyad Hassan, Aaron R. Bradley, Fabio Somenzi |
Incremental, Inductive CTL Model Checking. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Alberto Griggio |
Software Model Checking via IC3. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Raffaele Corvino, Armando Lazzaro, Iman Narasamdya, Tiziana Rizzo, Marco Roveri, Angela Sanseviero, Andrei Tchaltsev |
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Cyrille Jégourel, Axel Legay, Sean Sedwards |
Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell 0001 |
APEX: An Analyzer for Open Probabilistic Programs. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chris J. Myers |
Formal Verification of Genetic Circuits. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vineet Kahlon, Chao Wang 0001 |
Lock Removal for Concurrent Trace Programs. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Duc-Hiep Chu, Joxan Jaffar |
A Complete Method for Symmetry Reduction in Safety Verification. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Cheng-Shen Han, Jie-Hong Roland Jiang |
When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi |
Termination Analysis with Algorithmic Learning. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Andreas Gaiser, Stefan Kiefer |
Proving Termination of Probabilistic Programs Using Patterns. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rishabh Singh, Armando Solar-Lezama |
SPT: Storyboard Programming Tool. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle |
A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Evan Driscoll, Aditya V. Thakur, Thomas W. Reps |
OpenNWA: A Nested-Word Automaton Library. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kretínský, Javier Esparza |
Deterministic Automata for the (F, G)-Fragment of LTL. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Swarat Chaudhuri, Armando Solar-Lezama |
Euler: A System for Numerical Optimization of Programs. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | P. Madhusudan, Sanjit A. Seshia (eds.) |
Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe 0001, James Worrell 0001 |
Recent Developments in FDR. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aditya Zutshi 0001, Sriram Sankaranarayanan 0001, Ashish Tiwari 0001 |
Timed Relational Abstractions for Sampled Data Control Systems. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marc Brockschmidt, Richard Musiol, Carsten Otto, Jürgen Giesl |
Automated Termination Proofs for Java Programs with Cyclic Data. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Thomas |
Synthesis and Some of Its Challenges. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois C. Knoll |
MGSyn: Automatic Synthesis for Industrial Automation. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina |
SAFARI: SMT-Based Abstraction for Arrays with Interpolants. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Flavio M. de Paula, Alan J. Hu, Amir Nahir |
nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Maxim Rondon, Alexander Bakst, Ming Kawaguchi, Ranjit Jhala |
CSolve: Verifying C with Liquid Types. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Alex Aiken |
Minimum Satisfying Assignments for SMT. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michal Moskal |
From C to Infinity and Back: Unbounded Auto-active Verification with VCC. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Fredrikson, Richard Joiner, Somesh Jha, Thomas W. Reps, Phillip A. Porras, Hassen Saïdi, Vinod Yegneswaran |
Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang 0005 |
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 | Ashutosh Gupta 0001, Corneliu Popeea, Andrey Rybalchenko |
Threader: A Constraint-Based Verifier for Multi-threaded Programs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Swarat Chaudhuri, Armando Solar-Lezama |
Smoothing a Program Soundly and Robustly. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|