ABC
From MaRDI portal
ABC Q24833
Cited in
(only showing first 100 items - show all)- Symbolic trajectory evaluation for word-level verification: theory and implementation
- Incremental column-wise verification of arithmetic circuits using computer algebra
- The QBF Gallery: behind the scenes
- Boolean functional synthesis: hardness and practical algorithms
- SAT-Based Formula Simplification
- A temporal logic for asynchronous hyperproperties
- Progress in certifying hardware model checking results
- Verified cryptographic code for everybody
- Practical synthesis of reactive systems from LTL specifications via parity games
- Skolem functions for DQBF
- Partial order reduction for deep bug finding in synchronous hardware
- Automated and scalable verification of integer multipliers
- Advanced exact synthesis of Clifford+T circuits
- Model checking data flows in concurrent network updates
- Compact and efficiently verifiable models for concurrent systems
- Shield synthesis
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs
- Improving characteristics of LUT-based mealy FSMs
- Automated formal analysis and verification: an overview
- Benchmarking a model checker for algorithmic improvements and tuning for performance
- Transfer of model checking to industrial practice
- Symbolic trajectory evaluation
- Verifying chemical reaction network implementations: a pathway decomposition approach
- Optimization techniques for Craig interpolant compaction in unbounded model checking
- Workcraft
- WALA
- SPOT
- STABLE
- ESPRESSO
- TASTY
- VATA
- RevKit
- MTBDD
- QMDD
- Capo
- Wattch
- VeriCon
- Transalg
- Jimple
- nuXmv
- Mosel
- Antichains
- VS3
- JKind
- STEWord
- Chisel
- EnerJ
- Sharemind
- ANaConDA
- Acacia+
- CAQE
- Z34Bio
- FlowDroid
- Rosette
- AIGER
- petBoss
- Anteater
- Yosys
- AdamMC
- FatTire
- Strix
- Kuai
- zUpdate
- tiny_sha3
- Visual DSD
- Pyverilog
- Rely
- GenMul
- PolyCleaner
- RevSCA
- multgen
- EPFL
- VIS
- Scaling up livelock verification for network-on-chip routing algorithms
- Unified QBF certification and its applications
- scientific article; zbMATH DE number 7453178 (Why is no real title available?)
- RAReQS
- Advanced Boolean techniques. Selected papers from the 13th international workshop on Boolean problems, Bremen, Germany, September 19--21, 2018
- GANAK
- Kissat
- Oink
- Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results
- Heuristic NPN classification for large functions using AIGs and LEXSAT
- Verifying deadlock-freedom of communication fabrics
- Improving the LUT count for mealy FSMS with transformation of output collections
- Evaluating ESOP Optimization Methods in Quantum Compilation Flows
- Ancilla-free synthesis of large reversible functions using binary decision diagrams
- Encodings of bounded synthesis
- Sally
- Btor2Tools
- CoSA
- SAT-Based Synthesis Methods for Safety Specs
- On compiling Boolean circuits optimized for secure multi-party computation
- Frigate
- Unbeast
- Owl
- Pacheck
- BoSy
- Delag
- Cyclic-routing of unmanned aerial vehicles
This page was built for software: ABC