Travelled to:1 × Portugal
Collaborated with:J.Ilié S.Haddad
Talks about:model (2) check (2) symmetri (1) reachabl (1) exploit (1) tempor (1) symbol (1) linear (1) beyond (1) logic (1)
Person: Khalil Ajami
DBLP: Ajami:Khalil
Contributed to:
1998
1997Wrote 2 papers:
- TACAS-1998-AjamiHI #linear #logic #model checking #symmetry
- Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond (KA, SH, JMI), pp. 52–67.
- TAPSOFT-1997-IlieA #graph #model checking #reachability
- Model Checking Through Symbolic Reachability Graph (JMI, KA), pp. 213–224.