Notes/Software Engineering/Initial Questions.md


### Logistics
- Will we have access to an overview of the project roadmap, including deliverables?
- Do you need us to use specific project management tools (e.g. GitHub, Jira, etc.)?
- How often are you available? Is it possible to have weekly progress reports?
### Formal Verification
- What is the expected level of background in Coq or formal methods?
- Can you explain the process by which a smart contract's safety properties will be validated formally?
- Are there any existing case studies or example proofs we might refer to for a better understanding of the expected output?
- How much of the formal verification process will be based on axioms versus fully constructive proofs?
- Define the contract verification criteria
### Project scope clarifications
- Among the seven smart contracts being verified, which ones do you expect us to work on, and why those?
- Which technologies are we going to be introduced to, if any? Will we have access to guides for Coq and Solidity?
- How do you envision the high-level Coq framework integrating with existing Solidity projects?
- Could you elaborate on the notion of “high-level primitives” (e.g., identity, item, property) and how flexible they need to be for different types of contracts?
- "real numbers and integer approximations"?
vault backup: 2025-02-12 15:04:15 2025-02-12 15:04:15 +01:00
			`### Logistics`
			`- Will we have access to an overview of the project roadmap, including deliverables?`
			`- Do you need us to use specific project management tools (e.g. GitHub, Jira, etc.)?`
vault backup: 2025-02-14 15:29:55 2025-02-14 15:29:55 +01:00			`- How often are you available? Is it possible to have weekly progress reports?`
vault backup: 2025-02-12 15:04:15 2025-02-12 15:04:15 +01:00			`### Formal Verification`
			`- What is the expected level of background in Coq or formal methods?`
			`- Can you explain the process by which a smart contract's safety properties will be validated formally?`
			`- Are there any existing case studies or example proofs we might refer to for a better understanding of the expected output?`
			`- How much of the formal verification process will be based on axioms versus fully constructive proofs?`
vault backup: 2025-02-14 15:29:55 2025-02-14 15:29:55 +01:00			`- Define the contract verification criteria`
vault backup: 2025-02-12 15:04:15 2025-02-12 15:04:15 +01:00			`### Project scope clarifications`
			`- Among the seven smart contracts being verified, which ones do you expect us to work on, and why those?`
			`- Which technologies are we going to be introduced to, if any? Will we have access to guides for Coq and Solidity?`
			`- How do you envision the high-level Coq framework integrating with existing Solidity projects?`
			`- Could you elaborate on the notion of “high-level primitives” (e.g., identity, item, property) and how flexible they need to be for different types of contracts?`
			`- "real numbers and integer approximations"?`