I am looking for a tutorial that explains application of fixedpoint approximates to verify properties over structures.
Could you recommend something?
Since there is not much response... The words you used have multiple meanings. Could you say more precisely what you mean by properties, fixed points, approximates, and maybe give an example?