Fabrizio Genovese - Personal Homepage
We can take care of developing a project from its inception, or chime in and help your team to solve a particularly hard problem in your codebase. We will rely on our vast expertise in formal methods to provide reliable solutions.
Example: Developing a formally verified finite state machine parser. [Github]
The key for a good product starts before development. With the right design patterns the amount problems at implementation stage can be greatly reduced. Using state of the art research in the relevant fields, we will help you shaping your ideas into a viable design.
Fabrizio Genovese - Personal Homepage