QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification
Abstract elided by the publisher.
1,553 papers · page 48 of 78
History-Aware Data Structure Repair Using SAT
Abstract elided by the publisher.
Litmus: Running Tests against Hardware
Abstract elided by the publisher.
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
Abstract elided by the publisher.
Efficient CTMC Model Checking of Linear Real-Time Objectives
Abstract elided by the publisher.
Model Repair for Probabilistic Systems
Abstract elided by the publisher.
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata
Abstract elided by the publisher.
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models
Abstract elided by the publisher.
The ACL2 Sedan Theorem Proving System
Abstract elided by the publisher.
QUASY: Quantitative Synthesis Tool
Abstract elided by the publisher.
GAVS+: An Open Platform for the Research of Algorithmic Game Solving
Abstract elided by the publisher.
Boosting Lazy Abstraction for SystemC with Partial Order Reduction
Abstract elided by the publisher.
Optimal Base Encodings for Pseudo-Boolean Constraints
This paper formalizes the optimal base problem, presents an algorithm to solve it, and describes its application to the encoding of Pseudo-Boolean constraints to SAT. We demonstrate the impact of integrating our algorithm within the Pseudo-Boolean constraint solver MiniSat+. Expe…
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories
Abstract elided by the publisher.
Unbeast: Symbolic Bounded Synthesis
Abstract elided by the publisher.
Quantitative Multi-objective Verification for Probabilistic Systems
Abstract elided by the publisher.
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
Abstract elided by the publisher.
Enforcing Structural Invariants Using Dynamic Frames
Abstract elided by the publisher.
Compositionality Entails Sequentializability
Abstract elided by the publisher.
Specification-Based Program Repair Using SAT
Abstract elided by the publisher.