Projects in Awesome Lists by postechsv
A curated list of projects in awesome lists by postechsv .
https://github.com/postechsv/lmc-ext
Extension of Maude Logical Model Checker (https://maude.cs.illinois.edu/tools/lmc/)
Last synced: 17 Jan 2026
https://github.com/postechsv/tee-formal-analysis
Formal Analysis of TEE Applications using TEE Formal Spec.
formal-analysis trusted-execution-environment
Last synced: 17 Jan 2026