Formal verfication by symbolic exceuction of simple Golang code (if else nested if else, loop nested loops)
Paiement à la livraison
I am looking for a freelancer who can perform formal verification on simple Golang code using symbolic execution. The complexity level of the code is beginner. I have sample Golang code available for the task. The main requirements for this project are as follows:
Skills and experience:
- Proficiency in Golang programming language
- Strong understanding of formal verification techniques and symbolic execution
- Experience in verifying if-else statements and nested loops
- The task involves performing formal verification on simple Golang code that includes if-else statements and nested loops.
- The code complexity is beginner level, making it suitable for those with basic understanding of Golang.
- The client can provide sample Golang code for the task.
- A report of the verification process is not required for this project.
If you have the necessary skills and experience in Golang programming and formal verification techniques, and are interested in this project, please submit your proposal.
Nº du projet : #37467196
À propos du projet
8 freelances font une offre moyenne de 5650 ₹ pour ce travail
I am a golang developer with 3 years experience. (Total 10 years) I have checked your document. Let's do it. Please ping in chat. Let's discuss more details. Thank you
As an experienced Golang programmer with proficiency in formal verification techniques and symbolic execution, I am well-equipped to undertake the task of performing formal verification on simple Golang code. My skills Plus