Elie Fares

Latest

• Verifying HyperLTL Properties in Event-B
• Pattern-Based Refinement Generation Through Domain Specific Languages