| Title/Authors | Title | Research Artifacts
[?] A research
artifact is any by-product of a research project that is not
directly included in the published research paper. In Computer
Science research this is often source code and data sets, but
it could also be media, documentation, inputs to proof
assistants, shell-scripts to run experiments, etc.
|
Details |
|---|
|
Efficient Anytime Techniques for Model-Based Safety Analysis Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Cristian Mattarei |
Efficient Anytime Techniques for Model-Based Safety Analysis Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Automatic Rootcausing for Program Equivalence Failures in Binaries Shuvendu K. Lahiri, Rohit Sinha, Chris Hawblitzel |
Automatic Rootcausing for Program Equivalence Failures in Binaries Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám |
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Alchemist: Learning Guarded Affine Functions Shambwaditya Saha, Pranav Garg, P. Madhusudan |
Alchemist: Learning Guarded Affine Functions Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse |
Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
A Trusted Mechanised Specification of JavaScript: One Year On Philippa Gardner, Gareth Smith, Conrad Watt, Thomas Wood |
A Trusted Mechanised Specification of JavaScript: One Year On Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Fine-Grained Caching of Verification Results K. Rustan M. Leino, Valentin Wüstholz |
Fine-Grained Caching of Verification Results Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Adam: Causality-Based Synthesis of Distributed Systems Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüdiger Olderog |
Adam: Causality-Based Synthesis of Distributed Systems Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Time-Aware Abstractions in HybridSal Ashish Tiwari |
Time-Aware Abstractions in HybridSal Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Mitesh Jain, Panagiotis Manolios |
Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation Mendes Oulamara, Arnaud J. Venet |
Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
On Automation of CTL* Verification for Infinite-State Systems Byron Cook, Heidy Khlaaf, Nir Piterman |
On Automation of CTL* Verification for Infinite-State Systems Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Boosting k-Induction with Continuously-Refined Invariants Dirk Beyer, Matthias Dangl, Philipp Wendler |
Boosting k-Induction with Continuously-Refined Invariants Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
Algorithms for Model Checking HyperLTL and HyperCTL ^* Bernd Finkbeiner, Markus N. Rabe, César Sánchez |
Algorithms for Model Checking HyperLTL and HyperCTL ^* Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Yakir Vizel, Arie Gurfinkel, Sharad Malik |
Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
The SeaHorn Verification Framework Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, Jorge A. Navas |
The SeaHorn Verification Framework Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
PVSio-web 2.0: Joining PVS to HCI Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby |
PVSio-web 2.0: Joining PVS to HCI Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A Type-Directed Approach to Program Repair Alex Reinking, Ruzica Piskac |
A Type-Directed Approach to Program Repair Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Symbolic Polytopes for Quantitative Interpolation and Verification Klaus von Gleissenthall, Boris Köpf, Andrey Rybalchenko |
Symbolic Polytopes for Quantitative Interpolation and Verification Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Angelic Verification: Precise Verification Modulo Unknowns Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li |
Angelic Verification: Precise Verification Modulo Unknowns Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle |
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský |
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Radu Grigore, Stefan Kiefer |
Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
The Open-Source LearnLib - A Framework for Active Automata Learning Malte Isberner, Falk Howar, Bernhard Steffen |
The Open-Source LearnLib - A Framework for Active Automata Learning Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Bbs: A Phase-Bounded Model Checker for Asynchronous Programs Rupak Majumdar, Zilong Wang |
Bbs: A Phase-Bounded Model Checker for Asynchronous Programs Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Fairness Modulo Theory: A New Approach to LTL Software Model Checking Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski |
Fairness Modulo Theory: A New Approach to LTL Software Model Checking Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Empirical Software Metrics for Benchmarking of Verification Tools Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger |
Empirical Software Metrics for Benchmarking of Verification Tools Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
OptiMathSAT: A Tool for Optimization Modulo Theories Roberto Sebastiani, Patrick Trentin |
OptiMathSAT: A Tool for Optimization Modulo Theories Details |
Author Comments:
The research artifact is a VirtualBox image ready for reproducing the experiment illustrated in the extended version of the paper. Alternatively, one can separately download the packages http://disi.unitn.it/trentin/resources/tacas15.tar.gz (first exp. eval.) and http://disi.unitn.it/trentin/resources/tacas15.tar.gz (second exp. eval.).
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
The Hanoi Omega-Automata Format Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek |
The Hanoi Omega-Automata Format Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Property-Directed Inference of Universal Invariants or Proving Their Absence Aleksandr Karbyshev, Nikolaj Bjørner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham |
Property-Directed Inference of Universal Invariants or Proving Their Absence Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang |
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Automata-Based Model Counting for String Constraints Abdulbaki Aydin, Lucas Bang, Tevfik Bultan |
Automata-Based Model Counting for String Constraints Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Norn: An SMT Solver for String Constraints Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman |
Norn: An SMT Solver for String Constraints Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Igor Konnov, Helmut Veith, Josef Widder |
Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Learning Commutativity Specifications Timon Gehr, Dimitar Dimitrov, Martin T. Vechev |
Learning Commutativity Specifications Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Percentile Queries in Multi-dimensional Markov Decision Processes Mickael Randour, Jean-François Raskin, Ocan Sankur |
Percentile Queries in Multi-dimensional Markov Decision Processes Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced no artifacts
Verification:
Authors have
verified
information
|
|
Formal Design and Safety Analysis of AIR6110 Wheel Brake System Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, D. Jones, Greg Kimberly, T. Petri, R. Robinson, Stefano Tonetta |
Formal Design and Safety Analysis of AIR6110 Wheel Brake System Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Model Checking Parameterized Asynchronous Shared-Memory Systems Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar |
Model Checking Parameterized Asynchronous Shared-Memory Systems Details |
|
Author Comments:
Theoretical paper
Discussion Comments:
0
Sharing:
Other
Verification:
Authors have
verified
information
|
|
Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang |
Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks Alessandro Abate, Lubos Brim, Milan Ceska, Marta Z. Kwiatkowska |
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis |
Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Predicting a Correct Program in Programming by Example Rishabh Singh, Sumit Gulwani |
Predicting a Correct Program in Programming by Example Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Systematic Asynchrony Bug Exploration for Android Apps Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran |
Systematic Asynchrony Bug Exploration for Android Apps Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Meeting a Powertrain Verification Challenge Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan |
Meeting a Powertrain Verification Challenge Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Conflict-Driven Conditional Termination Vijay D'Silva, Caterina Urban |
Conflict-Driven Conditional Termination Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Time Robustness in MTL and Expressivity in Hybrid System Falsification Takumi Akazaki, Ichiro Hasuo |
Time Robustness in MTL and Expressivity in Hybrid System Falsification Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
An Axiomatic Specification for Sequential Memory Models William Mansky, Dmitri Garbuzov, Steve Zdancewic |
An Axiomatic Specification for Sequential Memory Models Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
The Inez Mathematical Programming Modulo Theories Framework Panagiotis Manolios, Jorge Pais, Vasilis Papavasileiou |
The Inez Mathematical Programming Modulo Theories Framework Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Verifying Linearizability of Intel® Software Guard Extensions Rebekah Leslie-Hurd, Dror Caspi, Matthew Fernandez |
Verifying Linearizability of Intel® Software Guard Extensions Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions Amir M. Ben-Amram, Samir Genaim |
Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced no artifacts
Verification:
Authors have
verified
information
|
|
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson |
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Quantifying Conformance Using the Skorokhod Metric Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu |
Quantifying Conformance Using the Skorokhod Metric Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Modular Deductive Verification of Multiprocessor Hardware Designs Muralidaran Vijayaraghavan, Adam Chlipala, Arvind, Nirav Dave |
Modular Deductive Verification of Multiprocessor Hardware Designs Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Counterexample-Guided Quantifier Instantiation for Synthesis in SMT Andrew Reynolds, Morgan Deters, Viktor Kuncak, Cesare Tinelli, Clark W. Barrett |
Counterexample-Guided Quantifier Instantiation for Synthesis in SMT Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Deciding Local Theory Extensions via E-matching Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies |
Deciding Local Theory Extensions via E-matching Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Automated and Modular Refinement Reasoning for Concurrent Programs Chris Hawblitzel, Erez Petrank, Shaz Qadeer, Serdar Tasiran |
Automated and Modular Refinement Reasoning for Concurrent Programs Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Automatic Completion of Distributed Protocols with Symmetry Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa |
Automatic Completion of Distributed Protocols with Symmetry Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Rajeev Alur, Pavol Cerný, Arjun Radhakrishna |
Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Thomas Ferrère, Oded Maler, Dejan Nickovic, Dogan Ulus |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets Fahiem Bacchus, George Katsirelos |
Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Adaptive Concretization for Parallel Program Synthesis Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster |
Adaptive Concretization for Parallel Program Synthesis Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Jürgen Christ, Jochen Hoenicke |
Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
Word-Level Symbolic Trajectory Evaluation Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry |
Word-Level Symbolic Trajectory Evaluation Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Automatic Verification of Stability and Safety for Delay Differential Equations Liang Zou, Martin Fränzle, Naijun Zhan, Peter Nazier Mosaad |
Automatic Verification of Stability and Safety for Delay Differential Equations Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Poling: SMT Aided Linearizability Proofs He Zhu, Gustavo Petri, Suresh Jagannathan |
Poling: SMT Aided Linearizability Proofs Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach |
From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Etienne Kneuss, Manos Koukoutos, Viktor Kuncak |
Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Finding Bounded Path in Graph Using SMT for Automatic Clock Routing Amit Erez, Alexander Nadel |
Finding Bounded Path in Graph Using SMT for Automatic Clock Routing Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs Takuya Kuwahara, Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi |
Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Pareto Curves of Multidimensional Mean-Payoff Games Romain Brenguier, Jean-François Raskin |
Pareto Curves of Multidimensional Mean-Payoff Games Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|