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

Encerrado Postado há 3 meses Pago na entrega
Encerrado Pago na entrega

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 Automação de Testes Python Teste de Software

ID do Projeto: #37467196

Sobre o projeto

8 propostas Projeto remoto Ativo em há 2 meses

8 freelancers estão ofertando em média ₹5650 nesse trabalho

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 Mais

₹6000 INR in 2 dias
(0 Comentários)
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 dias
(0 Comentários)
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 Mais

₹5700 INR em 1 dia
(1 Comentário)
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 Mais

₹5000 INR in 2 dias
(0 Comentários)
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 Mais

₹12500 INR in 5 dias
(0 Comentários)
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 dias
(0 Comentários)
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 Mais

₹1500 INR in 7 dias
(0 Comentários)
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 Mais

₹7000 INR in 7 dias
(0 Comentários)
1.1