How will I benefit as a developer by using the RESOLVE language and discipline?
You won’t – the compiler isn’t finished. ;^) Seriously, though, among other things, you will get compiler assistance in avoiding unsafe constructs, you will get the ability to use abstractions and controlled memory management when working with embedded systems, and, perhaps most importantly, you will gain the ability to verify every aspect of your code (i.e., both functional and non-functional constraints).
