Travelled to:1 × Austria
2 × Canada
Collaborated with:D.Méry M.J.Ferguson R.d.B.Johnston R.Nalumasu R.Ghughal G.Gopalakrishnan
Talks about:verif (3) specif (2) model (2) multiprocessor (1) retransmiss (1) protocol (1) interact (1) approach (1) environ (1) memori (1)
Person: Abdelillah Mokkedem
DBLP: Mokkedem:Abdelillah
Contributed to:
1998
19971992Wrote 3 papers:
- CAV-1998-NalumasuGMG #approach #memory management #model checking #modelling #multi #verification
- The “Test Model-Checking” Approach to the Verification of Formal Memory Models of Multiprocessors (RN, RG, AM, GG), pp. 464–476.
- FME-1997-MokkedemFJ #protocol #specification #verification
- A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol (AM, MJF, RdBJ), pp. 398–417.
- CAV-1992-MeryM #ide #interactive #named #specification #verification
- Crocos: An Integrated Environment for Interactive Verification of SDL Specifications (DM, AM), pp. 343–356.