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

Kapalı İlan edilme: 2 ay önce Teslim sırasında ödenir
Kapalı Teslim sırasında ödenir

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 Test Otomasyonu Python Yazılım Test Etme

Proje NO: #37467196

Proje hakkında

8 teklif Uzak proje Aktif 1 ay önce

Bu iş için 8 freelancer ortalamada ₹5650 teklif veriyor

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 Daha Fazla

₹6000 INR in 2 gün içinde
(0 Değerlendirme)
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 in 3 gün içinde
(0 Değerlendirme)
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 Daha Fazla

1 gün içinde %bids___i_sum_sub_32%%project_currencyDetails_sign_sub_33% INR
(1 Yorum)
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 Daha Fazla

₹5000 INR in 2 gün içinde
(0 Değerlendirme)
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 Daha Fazla

₹12500 INR in 5 gün içinde
(0 Değerlendirme)
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 in 2 gün içinde
(0 Değerlendirme)
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 Daha Fazla

₹1500 INR in 7 gün içinde
(0 Değerlendirme)
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 Daha Fazla

₹7000 INR in 7 gün içinde
(0 Değerlendirme)
1.1