• Model Checking - Automated Verification of Computational Systems

    • Fulltext

       

        Click here to view fulltext PDF


      Permanent link:
      https://www.ias.ac.in/article/fulltext/reso/014/07/0667-0681

    • Keywords

       

      Automated verification; model checking; temporal logic.

    • Abstract

       
    • Author Affiliations

       

      Madhavan Mukund1

      1. Chennai Mathematical Institute H1 SIPCOT IT Park Padur PO Siruseri 603 103, India.
    • Dates

       
  • Resonance – Journal of Science Education | News

© 2017-2019 Indian Academy of Sciences, Bengaluru.