Logic Verification of ANSI-C Code with SPIN

This publication has 14 references indexed in Scilit:

• Systematic software testing using VeriSoft-An analysis of the 4ESS™ heart-beat monitor
  Bell Labs Technical Journal, 2002
• Model checking JAVA programs using JAVA PathFinder
  International Journal on Software Tools for Technology Transfer, 2000
• Bandera
  Published by Association for Computing Machinery (ACM) ,2000
• Filter-based model checking of partial systems
  Published by Association for Computing Machinery (ACM) ,1998
• The PathStar access server: Facilitating carrier-scale packet telephony
  Bell Labs Technical Journal, 1998
• Model checking large software specifications
  IEEE Transactions on Software Engineering, 1998
• Eraser
  ACM Transactions on Computer Systems, 1997
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• A note on reliable full-duplex transmission over half-duplex links
  Communications of the ACM, 1969
• A. M. Turing. On computable numbers, with an application to the Entscheidungs problcm. Proceedings of the London Mathematical Society, 2 s. vol. 42 (1936–1937), pp. 230–265.
  The Journal of Symbolic Logic, 1937