Cyber-Physical Systems Lab @ ASU

The ASU Cyber-Physical Systems (CPS) lab is working on problems related to modeling and verifying CPS. Our focuses include search-based test generation and system instrumentation.

Our Projects

Temporal Logic

Banquo
Offline Signal Temporal Logic monitor written in Rust.
FoReK
C++ toolkit for parsing temporal logic formulas.

Search-Based Test Generation

$\Psi$-TaLiRo
General-purpose search-based test generation framework in Python.
Part-X
Stochastic algorithm for search-based test generation with probabalistic guarantees.
PySOAR-C HyperPart-X

System Instrumentation

Branch Statement Analyzer
Transform Python conditional statements into automata for coverage analysis.