Three months is very little in software. If formal verification is required (as I hope), it is very difficult to do that under time pressure.
Three months is very little in software. If formal verification is required (as I hope), it is very difficult to do that under time pressure.