SMV Model Checking

The goal of this project is to verify a potentially faulty solution to a distributed computing problem using the SMV system and to modify the solution so that it satisfies basic safety and liveness properties.

Key Duties:
- Analyzing system behavior
- Identifying design flaws
- Verifying system properties

Ideal Skills:
- In-depth knowledge of software model checking
- Proficiency in SMV (Symbolic Model Verifier) tool

Software/Hardware Requirements:
- SMV model checking tool
- Access to high-performance computing power could be beneficial
- Be prepared to work with specific software libraries if the need arises

How To Win This Bid:
- Exhibit your experience and competence in SMV model checking
- Highlight any experiences in identifying design flaws and testing system properties
- Show past work relevant to SMV model checking