Curated Collections
Formal Specification Languages
Languages and tools for formally specifying and verifying system behavior, enabling rigorous analysis of algorithms and distributed systems through mathematical notation and model checking.
by The Linux Foundation
・1 projects
Project
Contributors
Organizations
Software value
0
0
$0