author : Olga Kouchnarenko

Short works

• Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. 2000. (In ZB 2000 )
• Synchronized Parallel Composition of Event Systems in B. 2002. (In ZB 2002 )
• Automatic approximation for the verification of cryptographic protocols. 2003. (In Formal Aspects of Security )
• Refinement preserves PLTL properties. 2003. (In ZB 2003 )