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

Đã Đóng Đã đăng vào 3 tháng trước Thanh toán khi bàn giao
Đã Đóng Thanh toán khi bàn giao

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 Kiểm tra kỹ thuật tự động Python Kiểm tra phần mềm

ID dự án: #37467196

Về dự án

8 đề xuất Dự án từ xa 2 tháng trước đang mở

8 freelancer chào giá trung bình₹5650 cho công việc này

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 Thêm

₹6000 INR trong 2 ngày
(0 Nhận xét)
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 trong 3 ngày
(0 Nhận xét)
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 Thêm

₹5700 INR trong 1 ngày
(1 Nhận xét)
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 Thêm

₹5000 INR trong 2 ngày
(0 Nhận xét)
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 Thêm

₹12500 INR trong 5 ngày
(0 Nhận xét)
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 trong 2 ngày
(0 Nhận xét)
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 Thêm

₹1500 INR trong 7 ngày
(0 Nhận xét)
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 Thêm

₹7000 INR trong 7 ngày
(0 Nhận xét)
1.1