Formal Design and Analysis of a Gear Controller
Abstract elided by the publisher.
Related papers
- Accelerated Data-Flow Analysis SAS 2007
- Quipper: a scalable quantum programming language PLDI 2013
- CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking CAV 2004
- Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities TACAS 2026
- Using multiple energy gears in MPI programs on a power-scalable cluster PPoPP 2005
- Formally Verified Switching Logic for Recoverability of Aircraft Controller CAV 2021
- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL CAV 2021
- Santa Claus: Formal analysis of a process-oriented solution TOPLAS 2010