author : Jacques Julliand

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 )
• Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. 2002. (In ZB 2002 )
• Refinement preserves PLTL properties. 2003. (In ZB 2003 )