cebe / linehighlight
Code line highlighting for LaTeX with lstlisting (for beamer)
☆14Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for linehighlight
- Generates loop invariants for program verification☆58Updated 3 years ago
- PC-miner tool for program chairs☆24Updated 3 weeks ago
- ☆26Updated 6 months ago
- A verification tool for many memory models☆77Updated this week
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆21Updated 3 years ago
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆28Updated 2 months ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆26Updated 4 years ago
- rules for writing and typesetting☆23Updated 3 years ago
- A SyGuS Solver☆22Updated 3 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆48Updated 4 years ago
- Public-facing course info for program analysis materials.☆37Updated this week
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆70Updated 3 years ago
- The LTSmin model checking toolset☆53Updated 3 weeks ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- GPU model checker☆11Updated 5 years ago
- Efficient techniques for mining LTL formulae over linear input traces☆19Updated last year
- Semantic program repair system for C programs☆97Updated 2 years ago
- ☆62Updated 5 years ago
- A fuzzing framework for SMT solvers☆185Updated last year
- A tool for analyzing LLVM bitcode using Datalog.☆98Updated 4 years ago
- The DaCapo benchmark suite☆160Updated this week
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆49Updated this week
- Dynamic Program Slicing in LLVM Compiler☆134Updated 6 years ago
- Approximate Model Counter☆70Updated 4 months ago
- Performance Counter Measurements at the cycle granularity☆18Updated 3 years ago
- Delta assists you in minimizing "interesting" files subject to a test of their interestingness.☆23Updated 2 years ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆23Updated 6 months ago
- Dynamic Analysis for Concurrent Programs☆22Updated last month
- Major CS conference publication stats (including accepted and submitted) by year.☆112Updated 2 months ago