@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<http://www.irandoc.acir/onto/irandoc/INSP0011050>
  skos:prefLabel "تصدیق برنامه"@fa, "program verification"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0011051> .

<http://www.irandoc.acir/onto/irandoc/INSP0012930>
  skos:prefLabel "درستی‌سنجی دانش"@fa, "knowledge verification"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0011051> .

<http://www.irandoc.acir/onto/irandoc/INSP0011075>
  skos:prefLabel "مهندسی نرم‌افزار"@fa, "software engineering"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/INSP0011051> .

<http://www.irandoc.acir/onto/irandoc/INSP0012778>
  skos:prefLabel "نمودار تصمیم"@fa, "decision diagram"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0011051> .

<http://www.irandoc.acir/onto/irandoc/INSP0011051>
  skos:prefLabel "formal verification"@en, "تصدیق رسمی"@fa ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0012930>, <http://www.irandoc.acir/onto/irandoc/INSP0012778>, <http://www.irandoc.acir/onto/irandoc/INSP0003425>, <http://www.irandoc.acir/onto/irandoc/INSP0007681>, <http://www.irandoc.acir/onto/irandoc/INSP000941>, <http://www.irandoc.acir/onto/irandoc/INSP0011048> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/INSP0011050> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0011075> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:altLabel "verification, formal"@en .

<http://www.irandoc.acir/onto/irandoc/INSP0007681>
  skos:prefLabel "تحلیل قابلیت دسترسی"@fa, "reachability analysis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0011051> .

<http://www.irandoc.acir/onto/irandoc/INSP000941>
  skos:prefLabel "آزمون همنوایی"@fa, "conformance testing"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0011051> .

<http://www.irandoc.acir/onto/irandoc/INSP0011048>
  skos:prefLabel "مشخصات قراردادی"@fa, "formal specification"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0011051> .

<http://www.irandoc.acir/onto/irandoc/INSP0003425>
  skos:prefLabel "protocol"@en, "پروتکل"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0011051> .