Truth/SLC - A Parallel Verification Platform for Concurrent Systems
Abstract elided by the publisher.
Related papers
- Deterministic parallel random-number generation for dynamic-multithreading platforms PPoPP 2012
- mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic CAV 2024
- Massively Parallel Bit-Precise Verification with Bitwuzla and Mallob TACAS 2026
- Parallel Programming Environment: A Key to Translating Tera-Scale Platforms into a Big Success CGO 2007
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities TACAS 2020
- Type-theory in color ICFP 2013
- Weaving concurrency in executable domain-specific modeling languages SLE 2015
- Elixir: a system for synthesizing concurrent graph programs OOPSLA 2012