GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → arandilopez → z-eves

arandilopez / z-eves

Licence: other
Z-EVES for linux. Probably the only place you can find it

Programming Languages

python
139335 projects - #7 most used programming language
tcl
693 projects
c
50402 projects - #5 most used programming language
TeX
3793 projects
Makefile
30231 projects
emacs lisp
2029 projects

Labels

linuxformal-methodslegacy-applicationz-evesz-notations

Projects that are alternatives of or similar to z-eves

Stainless
Verification framework and tool for higher-order Scala programs
Stars: ✭ 241 (+1317.65%)
Mutual labels:  formal-methods
TorXakis
A tool for Model Based Testing
Stars: ✭ 40 (+135.29%)
Mutual labels:  formal-methods
overture
The Overture Tool
Stars: ✭ 45 (+164.71%)
Mutual labels:  formal-methods
mSAT
A modular sat/smt solver with proof output.
Stars: ✭ 91 (+435.29%)
Mutual labels:  formal-methods
tlacli
A script for running TLA+/TLC from the command line
Stars: ✭ 75 (+341.18%)
Mutual labels:  formal-methods
TSNsched
Automated Schedule Generation for Time-Sensitive Networks (TSN).
Stars: ✭ 46 (+170.59%)
Mutual labels:  formal-methods
Software Quality Wiki
Software Quality Wiki
Stars: ✭ 1,991 (+11611.76%)
Mutual labels:  formal-methods
vsrl-framework
The Verifiably Safe Reinforcement Learning Framework
Stars: ✭ 42 (+147.06%)
Mutual labels:  formal-methods
reasonml-tic-tac-toe
www.imandra.ai
Stars: ✭ 19 (+11.76%)
Mutual labels:  formal-methods
z3 tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
Stars: ✭ 117 (+588.24%)
Mutual labels:  formal-methods
koika
A core language for rule-based hardware design 🦑
Stars: ✭ 103 (+505.88%)
Mutual labels:  formal-methods
react-dom-inject
Binds an HTML element by selector to a ReactElement and renders to a DOM tree (with redux injection)
Stars: ✭ 18 (+5.88%)
Mutual labels:  legacy-application
llvm-semantics
Formal semantics of LLVM IR in K
Stars: ✭ 42 (+147.06%)
Mutual labels:  formal-methods
plutus-experimental-smart-contracts
Experimental Smart Contracts In Plutus.
Stars: ✭ 34 (+100%)
Mutual labels:  formal-methods
tutoriel wp
Frama-C and WP tutorial
Stars: ✭ 31 (+82.35%)
Mutual labels:  formal-methods
Acl2
ACL2 System and Books as Maintained by the Community
Stars: ✭ 200 (+1076.47%)
Mutual labels:  formal-methods
high-assurance-legacy
Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
Stars: ✭ 81 (+376.47%)
Mutual labels:  formal-methods
vscode-tlaplus
TLA+ language support for Visual Studio Code
Stars: ✭ 213 (+1152.94%)
Mutual labels:  formal-methods
intrepid
Intrepyd Model Checker
Stars: ✭ 14 (-17.65%)
Mutual labels:  formal-methods
fm-notes
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
Stars: ✭ 19 (+11.76%)
Mutual labels:  formal-methods
View All Similar Projects ➔

Z-EVES for linux

Instalation and usage

  1. Download this repo anywhere
  2. Copy its contents in /opt/Z
  3. Then run bash /opt/Z/Z-Eves/system/z-eves-gui.sh
  4. Use it

Need to run in 64bits OS?

  • run sh 64-bits/install.sh to install dependencies

Why Z-EVES??

Neither I know why or for what you should use this shit, but let me tell you something.

You maybe need to use it if you (like me) are studying Software Engineering or any Computer Science related degree, you may be prompt to use this shit.

This is a linux version (that I used to use) for z-eves. So, why linux? because Windows is a shit.

With ❤️ SE. Arandi López

Usage?

Maybe this PDF can help you

License?

All copyrights are to the guy/enterprise who code it

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].