.bio specifikáció
Formális verifikáció (Z3)
output
MetaSpace.bio Studio
v…
…