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
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
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
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
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
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
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
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
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
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
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
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
1Loris D'Antoni, Rajeev Alur Symbolic Visibly Pushdown Automata. 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
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
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
1Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg Monadic Decomposition. 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
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
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
1Andrei Voronkov AVATAR: The Architecture for First-Order Theorem Provers. 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
1Ravichandhran Madhavan, Viktor Kuncak Symbolic Resource Bound Inference for Functional Programs. 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
1Liana Hadarean, Kshitij Bansal, Dejan Jovanovic, Clark W. 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
1Andrey Kupriyanov, Bernd Finkbeiner Causal Termination of Multi-threaded Programs. 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
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
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
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
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
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
1Alexander Nadel Bit-Vector Rewriting with Automatic Rule Generation. 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
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
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
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
1Ashish Tiwari 0001, Patrick Lincoln A Nonlinear Real Arithmetic Fragment. 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
1Bruno Dutertre Yices 2.2. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan 0001 QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers. 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
1Tomás Brázdil, David Klaska, Antonín Kucera 0001, Petr Novotný 0001 Minimizing Running Costs in Consumption Systems. 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
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
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
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
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
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
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
1Willem Hagemann Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections. 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
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
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
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
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 W. 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
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
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
1Romain Brenguier PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games. 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
1Isil Dillig, Thomas Dillig Explain: A Tool for Performing Abductive Inference. 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
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
1Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski QUAIL: A Quantitative Security Analyzer for Imperative Code. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid Recursive Program Synthesis. 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
1Alexandre Donzé, Thomas Ferrère, Oded Maler Efficient Robust Monitoring for STL. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Oshri Adler, Cindy Eisner, Tatyana Veksler Relative Equivalence in the Presence of Ambiguity. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Aleksandar Chakarov, Sriram Sankaranarayanan 0001 Probabilistic Program Analysis with Martingales. 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
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
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
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
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
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
1Yakir Vizel, Vadim Ryvchin, Alexander Nadel Efficient Generation of Small Interpolants in CNF. 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
1Cezara Dragoi, Ashutosh Gupta 0001, 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
1Loris D'Antoni, Margus Veanes Equivalence of Extended Symbolic Finite Transducers. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Lubos Brim, Milan Ceska 0002, Sven Drazan, David Safránek Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hristina Palikareva, Cristian Cadar Multi-solver Support in Symbolic Execution. 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
1Chih-Hong Cheng, Harald Ruess, Natarajan Shankar JBernstein: A Validity Checker for Generalized Polynomial Constraints. 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
1Shaull Almagor, Guy Avni, Orna Kupferman Automatic Generation of Quality Specifications. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci System Level Formal Verification via Model Checking Driven Simulation. 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
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
1João Marques-Silva, Mikolás Janota, Anton Belov Minimal Sets over Monotone Predicates in Boolean Formulae. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matthias Heizmann, Jochen Hoenicke, Andreas Podelski Software Model Checking for People Who Love Automata. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg Towards Distributed Software Model-Checking Using Decision Diagrams. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ayrat Khalimov, Swen Jacobs, Roderick Bloem PARTY Parameterized Synthesis of Token Rings. 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
1Daniel Wonisch, Alexander Schremmer, Heike Wehrheim Programs from Proofs - A PCC Alternative. 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
1Aws Albarghouthi, Kenneth L. McMillan Beautiful Interpolants. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas Braibant, Adam Chlipala Formal Verification of Hardware Synthesis. 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
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