Equipe BD
Equipe BD
Laboratoire d'InfoRmatique en Images et Systèmes d'information
UMR 5205 CNRS/INSA de Lyon/Université Claude Bernard Lyon 1/Université Lumière Lyon 2/Ecole Centrale de Lyon

You are here

Home

Computing Critical Mutations, Relevant Constraints and Causes in LTL-based Compliance Management

Mon, 2015-06-01 16:22 — rthion
Qui: 
François Hantry
Quand: 
Monday, January 23, 2012 - 12:30 to 14:00
Où: 
INSA, bât Blaise Pascal, salle du Liris (3° étage)
  • WHY SO ? (Theoretical result for LTL-based compliance Based management)
  • UMC/SAT-based Solver for Model Checking Business Artifact and Extract Compliance Based Fragments
  • Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages