GitHub repository: pietrobraione/pose
Primary language: Coq
Description: Path-optimal symbolic execution