Formal specification using Z tool

Completed Posted 5 years ago Paid on delivery
Completed Paid on delivery

I am a student and i need a formal dpecification done uding z tool/ language for. N automatic banking system

Mathematics Statistical Analysis Statistics

Project ID: #17739868

About the project

2 proposals Remote project Active 5 years ago

Awarded to:

Eleirin

I am efficient in Coq, Agda, and other similar formal specification system. I believe I would be able to provide an excellent answer, along with comments and explanations. Please provide me more details (what tools ar More

$30 USD in 1 day
(2 Reviews)
2.9

2 freelancers are bidding on average $33 for this job

braincenter

I believe that my experience and skill in this background will prove to be of great help to you. Contact me to discuss more on the details

$35 USD in 1 day
(8 Reviews)
4.1