z-notations

There are 0 repository under z-notations topic.

Z-Editor / Z-Editor
Online Z-notations Editor with Draft.js and React.js
z-notations formal methods draft-js reactjs
Language:CSS 142
arandilopez / z-eves
Z-EVES for linux. Probably the only place you can find it
z-eves formal-methods linux python legacy-application z-notations
Language:Python 23
vinahradau / finma
Z/Alloy formal specification for client identifying data regulation for banks in Switzerland
formal-verification cid switzerland finma client-identifying-data jaza specification specification-language z-notations schweiz banken banks rundschreiben regulierung finance finanzen z-notation czt kundendaten alloy-analyzer
Language:Alloy 2
florianschanda / pzt
Python Z Tools
formal-methods latex z-notations
Language:TeX 0
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.
equational-logic equational-reasoning first-order-logic formal-methods formal-specification formal-verification logic proof-systems z z-notation z-notations
Language:TeX 0