Office: 4D04

Email: adim@itu.dk

Phone: +45 7652 2412

Repository for FASE19 paper and its Journal version: Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL

  Home

  Research

  Publications

  CV

Please see ReadMeCTLAutomatic.txt for how to get started.