Model checking software systems

[1]  Edmund M. Clarke,et al.  Automatic Verification of Sequential Circuits Using Temporal Logic , 1986, IEEE Transactions on Computers.

[2]  Martín Abadi,et al.  A logic of authentication , 1990, TOCS.