The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "CAV"( http://dblp.L3S.de/Venues/CAV )

URL (DBLP): http://dblp.uni-trier.de/db/conf/cav

Publication years (Num. hits)
1990 (38) 1991 (45) 1992 (33) 1993 (42) 1994 (39) 1995 (35) 1996 (52) 1997 (53) 1998 (55) 1999 (44) 2000 (49) 2001 (49) 2002 (52) 2003 (42) 2004 (52) 2005 (53) 2006 (50) 2007 (55) 2008 (54) 2009 (61) 2010 (59) 2011 (61) 2012 (65) 2013 (73) 2014 (58)
Publication types (Num. hits)
inproceedings(1244) proceedings(25)
Venues (Conferences, Journals, ...)
CAV(1269)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 107 occurrences of 73 keywords

Results
Found 1269 publication records. Showing 1269 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann G4LTL-ST: Automatic Generation of PLC Programs. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthias Heizmann, Jochen Hoenicke, Andreas Podelski Termination Analysis by Learning Terminating Programs. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ethel 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. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg Monadic Decomposition. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman Finding Instability in Biological Models. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic An SMT-Based Approach to Coverability Analysis. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ravichandhran Madhavan, Viktor Kuncak Symbolic Resource Bound Inference for Functional Programs. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Johannes Birgmeier, Aaron R. Bradley, Georg Weissenbacher Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR). Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Loris D'Antoni, Rajeev Alur Symbolic Visibly Pushdown Automata. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ruzica Piskac, Thomas Wies, Damien Zufferey Automating Separation Logic with Trees and Data. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andrei Voronkov AVATAR: The Architecture for First-Order Theorem Provers. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov Regression Test Selection for Distributed Software Histories. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ashish Tiwari, Patrick Lincoln A Nonlinear Real Arithmetic Fragment. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Georg Dresler, Philipp Wendler Software Verification in the Google App-Engine Cloud. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker Solving Games without Controllable Predecessor. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Moritz Sinn, Florian Zuleger, Helmut Veith A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta Verifying LTL Properties of Hybrid Systems with K-Liveness. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach Regression-Free Synthesis for Concurrency. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pranav Garg 0001, Christof Löding, P. Madhusudan, Daniel Neider ICE: A Robust Framework for Learning Invariants. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mohsen Lesani, Todd D. Millstein, Jens Palsberg Automatic Atomicity Verification for Clients of Concurrent Data Structures. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca CEGAR for Qualitative Analysis of Probabilistic Systems. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Dillig, Isil Dillig, Swarat Chaudhuri Optimal Guard Synthesis for Memory Safety. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zvonimir Rakamaric, Michael Emmi SMACK: Decoupling Source Language Details from Verifier Implementations. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andrey Kupriyanov, Bernd Finkbeiner Causal Termination of Multi-threaded Programs. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anna Lisa Ferrara, P. Madhusudan, Truc L. Nguyen, Gennaro Parlato Vac - Verifier of Administrative Role-Based Access Control Policies. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bruno Dutertre Yices 2.2. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shachar Itzhaky, Nikolaj Bjørner, Thomas W. Reps, Mooly Sagiv, Aditya V. Thakur Property-Directed Shape Analysis. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Jan Kretínský From LTL to Deterministic Automata: A Safraless Compositional Approach. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Suho Lee, Karem A. Sakallah Unbounded Scalable Verification Based on Approximate Property-Directed Reachability and Datapath Abstraction. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki SMT-Based Model Checking for Recursive Programs. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Willem Hagemann Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alejandro Sánchez, César Sánchez LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin Shape Analysis via Second-Order Bi-Abduction. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rahul Sharma 0001, Alex Aiken From Invariant Checking to Invariant Inference Using Randomized Search. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rodica Bozianu, Catalin Dima, Emmanuel Filiot Safraless Synthesis for Epistemic Temporal Specifications. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jesse Bingham, Joe Leslie-Hurd Verifying Relative Error Bounds Using Symbolic Simulation. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tomás Brázdil, David Klaska, Antonín Kucera, Petr Novotný 0001 Minimizing Running Costs in Consumption Systems. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kenneth L. McMillan Lazy Annotation Revisited. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tianyi Liang, Andrew Reynolds, Cesare Tinelli, Clark Barrett, Morgan Deters A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Omar Inverso, Ermenegildo Tomasco, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yakir Vizel, Arie Gurfinkel Interpolating Property Directed Reachability. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Daniel Larraz, Kaustubh Nimkar, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio Proving Non-termination Using Max-SMT. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sudeep Kanav, Peter Lammich, Andrei Popescu 0001 A Conference Management System with Verified Document Confidentiality. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman String Constraints for Verification. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler Analyzing and Synthesizing Genomic Logic Functions. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Omar Chowdhury, Limin Jia, Deepak Garg 0001, Anupam Datta Temporal Mode-Checking for Runtime Monitoring of Privacy Policies. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta The nuXmv Symbolic Model Checker. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Armin Biere, Roderick Bloem (eds.) 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 Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jean-Christophe Filliâtre, Léon Gondelman, Andrei Paskevich The Spirit of Ghost Code. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Liana Hadarean, Kshitij Bansal, Dejan Jovanovic, Clark Barrett, Cesare Tinelli A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Henri Hansen, Shang-Wei Lin, Yang Liu 0003, Truong Khanh Nguyen, Jun Sun 0001 Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hassan Eldib, Chao Wang 0001 Synthesis of Masking Countermeasures against Side Channel Attacks. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexander Nadel Bit-Vector Rewriting with Automatic Rule Generation. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ocan Sankur Shrinktech: A Tool for the Robustness Analysis of Timed Automata. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jiri Barnat, Lubos Brim, Vojtech Havel, Jan Havlícek, Jan Kriho, Milan Lenco, Petr Rockai, Vladimír Still, Jirí Weiser DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Jakub Lacki Faster Algorithms for Markov Decision Processes with Low Treewidth. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marc Brockschmidt, Byron Cook, Carsten Fuhs Better Termination Proving through Cooperation. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko Solving Existentially Quantified Horn Clauses. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Matt Lewis, Georg Weissenbacher Under-Approximating Loops in C Programs for Fast Counterexample Detection. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Laura Kovács, Andrei Voronkov First-Order Theorem Proving and Vampire. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac Incremental, Inductive Coverability. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Étienne André, Yang Liu 0003, Jun Sun 0001, Jin Song Dong, Shang-Wei Lin PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Rupak Majumdar Parameterized Verification of Asynchronous Shared-Memory Systems. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Adi Sosnovich, Orna Grumberg, Gabi Nakibly Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Loris D'Antoni, Margus Veanes Equivalence of Extended Symbolic Finite Transducers. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi A Scalable and Nearly Uniform Generator of SAT Witnesses. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tom Chothia, Yusuke Kawamoto 0001, Chris Novakovic A Tool for Estimating Information Leakage. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ming-Hsien Tsai, Yih-Kuen Tsay, Yu-Shiang Hwang GOAL for Games, Omega-Automata, and Logics. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christian von Essen, Barbara Jobstmann Program Repair without Regret. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Lukás Holík, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar Fully Automated Shape Analysis Based on Forest Automata. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ruzica Piskac, Thomas Wies, Damien Zufferey Automating Separation Logic Using SMT. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang Model-Checking Signal Transduction Networks through Decreasing Reachability Sets. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Richard Uhler, Nirav Dave Smten: Automatic Translation of High-Level Symbolic Computations into SMT Queries. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Johannes G. Reiter, Ivana Bozic, Krishnendu Chatterjee, Martin A. Nowak TTP: Tool for Tumor Progression. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Brad D. Bingham, Jesse D. Bingham, John Erickson, Mark R. Greenstreet Distributed Explicit State Model Checking of Deadlock Freedom. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz Lazy Abstractions for Timed Automata. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Simon Meier, Benedikt Schmidt, Cas Cremers, David A. Basin The TAMARIN Prover for the Symbolic Analysis of Security Protocols. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alfons 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. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic Finite Model Finding in SMT. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Cezara Dragoi, Ashutosh Gupta, Thomas A. Henzinger Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus A Fully Verified Executable LTL Model Checker. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé, Geoffroy Andrieux, Heinz Koeppl Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alberto Puggelli, Wenchao Li, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shaull Almagor, Guy Avni, Orna Kupferman Automatic Generation of Quality Specifications. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alistair Stewart, Kousha Etessami, Mihalis Yannakakis Upper Bounds for Newton's Method on Monotone Polynomial Systems, and P-Time Model Checking of Probabilistic One-Counter Automata. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Liyun Dai, Bican Xia, Naijun Zhan Generating Non-linear Interpolants by Semidefinite Programming. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shachar Itzhaky, Anindya Banerjee 0001, Neil Immerman, Aleksandar Nanevski, Mooly Sagiv Effectively-Propositional Reasoning about Reachability in Linked Data Structures. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vincent Cheval, Véronique Cortier, Antoine Plet Lengths May Break Privacy - Or How to Check for Equivalences with Length. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christoph Haase, Samin Ishtiaq, Joël Ouaknine, Matthew J. Parkinson SeLoger: A Tool for Graph-Based Reasoning in Separation Logic. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Samir Genaim Proving Termination Starting from the End. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Panagiotis Manolios, Vasilis Papavasileiou ILP Modulo Theories. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Philipp Rümmer, Hossein Hojjat, Viktor Kuncak Disjunctive Interpolants for Horn-Clause Verification. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Arun Tejasvi Chaganty, Akash Lal, Aditya V. Nori, Sriram K. Rajamani Combining Relational Learning with SMT Solvers Using CEGAR. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Cyrille Jégourel, Axel Legay, Sean Sedwards Importance Splitting for Statistical Model Checking Rare Properties. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1269 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license