Technology Formal methods20100529

1. 

 2. 
 3.  ⾃自 ⾔言  ⾏行行    (Lightweight FM)       ⼿手⾊色 ⼀一 ⾏行行   ⾏行行  ⾏行行 ⼿手⽣生  ⽬目   ⽣生 4. ⼒力力up…