B-Method Formal Methods Project Assistance
Budget: £20 – £250 GBP
I'm seeking help with a formal methods project using the B-Method (AMN) in ProB software. The main focus of assistance is in the specification and modeling phase, where we need to create a state-based model.
Key points:
- The project involves using the B-Method (AMN) in ProB software.
- I need assistance primarily with the specification and modeling phase.
- The model to be created is a state-based model.
- There is comprehensive documentation available for the project.
Ideal skills for this job include expertise in formal methods, experience with the B-Method and ProB software, and proficiency in designing state-based models. Your ability to understand and utilize existing documentation is crucial. If you're interested and available to assist, please reach out.
Key points:
- The project involves using the B-Method (AMN) in ProB software.
- I need assistance primarily with the specification and modeling phase.
- The model to be created is a state-based model.
- There is comprehensive documentation available for the project.
Ideal skills for this job include expertise in formal methods, experience with the B-Method and ProB software, and proficiency in designing state-based models. Your ability to understand and utilize existing documentation is crucial. If you're interested and available to assist, please reach out.