Welcome to my website!


My name is Song Fu  ( 宋富 in Chinese) .
I am a Phd Student in verification group at  LIAFA





Contact Information 

  • Email: song(at)liafa.univ-paris-diderot.fr,  songfu1983(at)gmail.com.
  • Office Address: LIAFA, 6 Rue Nicole-Reine Lepaute, SOPHIE GERMAIN Building, 4 ème étage room 457, F-75013 Paris. 
  • Post Address: LIAFA, Université Paris Diderot-Paris 7-Case 7014,F-75205 Paris Cedex 13.
  • TEL: 33 (0)7 60 34 42 47,  Fax: 33 (0)1 57 27 94 09. 
See my new website here

Research interesting

Software/hardware specification & verification, formal language,  virus & anti-virus, infinite-state systems, embedded system.

Short  biography

  I received my master degree in software engineering in June 2009 from East China Normal University (Shanghai China), and received bachelor degree in Electronic Information Science and Technology in June 2006 from Ningbo University (Ningbo China).


7.  Fu Song and Tayssir Touili. LTL Model-Checking For Malware Detection. Accepted by TACAS'13. 
6.  Fu Song and Tayssir Touili. PuMoC: A CTL Model-Checker For Sequential Programs (Tool paper). ASE'12
5.  Fu Song and Tayssir Touili.  Efficient Malware Detection Using Model-Checking.  FM'12. 
4.  Fu Song and Tayssir Touili. Pushdown Model-Checking for Malware Detection.  TACAS’12.  Best Paper Award.  
3.  Fu Song and Tayssir Touili. Efficient CTL Model-Checking for Pushdown SystemsCONCUR'11.    (EI & ISTP i
      CMC'10. (
1.  Jiaming Zhou, Jian Guo and Fu Song. Integrating the B-method into PVS.  ICIECS'09.