z-notations
There are 5 repositories under z-notations topic.
Z-Editor/Z-Editor
Online Z-notations Editor with Draft.js and React.js
arandilopez/z-eves
Z-EVES for linux. Probably the only place you can find it
vinahradau/finma
Z/Alloy formal specification for client identifying data regulation for banks in Switzerland
florianschanda/pzt
Python Z Tools
joulook/Formal-Specification-and-Verification-of-Programs-Fall-2020
In this repository you can find all of my assignments for Formal Specification and Verification of Programs Course when I was in 1st semester of my master's at SUT.