Refinement Synthesis from Formal Specs
Fragments: compilation from formal specifications.
See whitepaper from OneSpin-Solutions.com See J Langer paper on reading list. .endpar Wikipedia: program refinement