Formal verfication by symbolic exceuction of simple Golang code (if else nested if else, loop nested loops)

Închis Postat la acum 3 luni S-au achitat serviciile după ce au fost prestate
Închis S-au achitat serviciile după ce au fost prestate

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

Project details:

- 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.

Golang Java Testare automatizări Python Testare software

ID Proiect: #37467196

Detalii despre proiect

8 propuneri Proiect la distanță Activ acum 1 lună

8 freelanceri plasează o ofertă medie de 5650₹ pentru proiect

shayanali2602

Hello Client, my name is Shayan and I am an experienced and versatile professional with a strong background in web development. I have the necessary skills and experience in Golang programming and formal verification t Mai multe

₹6000 INR în 2 zile
(0 recenzii)
0.0
TechBranthan

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

₹4000 INR în 3 zile
(0 recenzii)
0.0
harshbhatti7704

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 Mai multe

₹5700 INR în 1 zi
(1 părere)
0.0
jaisharma0311

I am excited about the opportunity to work on the verification of your beginner-level Golang code. I appreciate the simplicity of the task, which allows for a focused and efficient verification process. I am confident Mai multe

₹5000 INR în 2 zile
(0 recenzii)
0.0
techindia999

Hi Greetings! We are team of software developers. We have developers working on almost all the technologies. We will assign you a project manager who will assist you during entire process of project completion. We wil Mai multe

₹12500 INR în 5 zile
(0 recenzii)
0.0
chiragsinvhal

I am coding in golang for the past 3+ years. I understand the project compleity and I am dedicated towards work completion

₹3500 INR în 2 zile
(0 recenzii)
0.0
meleszawdie

Hi, With a solid three-year tenure specializing in Golang backend development, I'm enthusiastic about the opportunity to contribute to your team. My expertise lies in crafting robust and scalable backend systems, coupl Mai multe

₹1500 INR în 7 zile
(0 recenzii)
0.0
anisumi1238

I have been working 3 years in a startup building the backend from scratch totally in Golang. I am rigorous with all the basics of Golang and know all the advantages and tradeoffs of the language. I have been using fra Mai multe

₹7000 INR în 7 zile
(0 recenzii)
1.1