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

Ditutup Disiarkan 3 bulan lepas Dibayar semasa penghantaran
Ditutup Dibayar semasa penghantaran

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 Ujian Automasi Python Ujian Perisian

ID Projek: #37467196

Tentang projek

8 cadangan Projek jarak jauh Aktif 1 bulan lepas

8 pekerja bebas membida secara purata ₹5650 untuk pekerjaan ini

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 Lagi

₹6000 INR dalam 2 hari
(0 Ulasan)
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 dalam 3 hari
(0 Ulasan)
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 Lagi

₹5700 INR dalam sehari
(1 Ulasan)
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 Lagi

₹5000 INR dalam 2 hari
(0 Ulasan)
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 Lagi

₹12500 INR dalam 5 hari
(0 Ulasan)
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 dalam 2 hari
(0 Ulasan)
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 Lagi

₹1500 INR dalam 7 hari
(0 Ulasan)
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 Lagi

₹7000 INR dalam 7 hari
(0 Ulasan)
1.1