cucapra / styleguideLinks
rules for writing and typesetting
☆25Updated 4 years ago
Alternatives and similar repositories for styleguide
Users that are interested in styleguide are comparing it to the libraries listed below
Sorting:
- A language for symbolic transitions system, inspired by Ivy.☆71Updated 4 months ago
- The LTSmin model checking toolset☆60Updated last year
- PC-miner tool for program chairs☆29Updated last month
- ☆91Updated 3 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆102Updated last month
- MonoSAT - An SMT solver for Monotonic Theories☆115Updated 10 months ago
- SMTInterpol interpolating SMT solver☆69Updated this week
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 3 months ago
- Verimag Polyhedra Library☆18Updated 9 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆85Updated this week
- Lem semantic definition language☆150Updated 10 months ago
- Approximate Model Counter☆82Updated last week
- SRI Sally: A model checker for infinite-state systems.☆75Updated 5 months ago
- sketches for egg: a flexible, high-performance e-graph library☆30Updated 4 months ago
- Formal specification and verification of hardware, especially for security and privacy.☆128Updated 3 years ago
- Python bindings for egg☆50Updated 3 years ago
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.☆107Updated last year
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated 2 years ago
- AE-solver and Skolemizer☆17Updated last year
- ☆15Updated 5 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- ☆40Updated 6 years ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆116Updated this week
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆72Updated 4 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 5 years ago
- Communication between Coq and SAT/SMT solvers☆162Updated last week
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 4 years ago
- ☆31Updated 3 months ago
- ☆33Updated 3 years ago
- RV-Monitor core system code☆16Updated 4 years ago