Geri Dön

Framework for evaluating loop invariantdetection games in relation to automateddynamic invariant detectors

Başlık çevirisi mevcut değil.

  1. Tez No: 726060
  2. Yazar: MEHMET YILMAZ
  3. Danışmanlar: DR. GEOFFREY G. XİE, DR. GLENN COOK
  4. Tez Türü: Yüksek Lisans
  5. Konular: Savunma ve Savunma Teknolojileri, Defense and Defense Technologies
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2015
  8. Dil: İngilizce
  9. Üniversite: The Naval Postgraduate School
  10. Enstitü: Yurtdışı Enstitü
  11. Ana Bilim Dalı: Belirtilmemiş.
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 86

Özet

Özet yok.

Özet (Çeviri)

Software has a huge and negative impact on the economy. Formal verification is an effective method to check whether a piece of software contains certain kinds of errors. Defense Advanced Research Projects Agency (DARPA) started the Crowd Sourced Formal Verification (CSFV) program to propose a new model for formal verification by using five online games. CSFV aims to explore whether an online game player with no formal verification expertise can achieve formal verification more efficiently than through conventional processes. We observe that, currently, no quality criteria exist to measure CSFV gamers' efforts. The study suggests that machine detectability of a solution detected by a gamer indicates poor quality for that solution. The solutions in one of the games, StormBound, were selected for examination. An automated tool was developed to check the machine detectability of the solutions, and 78 percent of the assertions were seen to be machine detectable.

Benzer Tezler

  1. Mimarlıkta döngüsel tasarım yaklaşımı: Karar verme mekanizmaları için kavramsal bir çerçeve

    Advancing circular design in architecture: A framework for decision-making mechanisms

    AYŞE CEYLİN CEYDA HÜNDAL

    Yüksek Lisans

    Türkçe

    Türkçe

    2024

    Mimarlıkİstanbul Teknik Üniversitesi

    Bilişim Ana Bilim Dalı

    PROF. DR. MERYEM BİRGÜL ÇOLAKOĞLU

  2. Halkla ilişkiler ve iklim değişikliği: Bakanlıkların ve STK'ların Twitter üzerindeki halkla ilişkiler faaliyetlerinin karşılaştırılması

    Public relations and climate change: A comparison of ministry and NGO's public relations activities on Twitter

    KEMAL GÜNAY

    Doktora

    Türkçe

    Türkçe

    2022

    Halkla İlişkilerİstanbul Üniversitesi

    Halkla İlişkiler ve Tanıtım Ana Bilim Dalı

    PROF. DR. YEŞİM GÜÇDEMİR

  3. Development of a modular pulmonary resuscitation device for chronic and acute respiratory support

    Kronik ve akut solunum desteği için modüler pulmoner resüsitasyon cihazının geliştirilmesi

    MUNAM ARSHAD

    Doktora

    İngilizce

    İngilizce

    2023

    BiyofizikKoç Üniversitesi

    Biyomedikal Bilimler ve Mühendislik Ana Bilim Dalı

    PROF. DR. İSMAİL LAZOĞLU

  4. Değişken devirli sirkülasyon pompalarında enerji verimliliği

    Energy efficiency in variable speed ci?rculation pumps

    METEHAN KARACA

    Yüksek Lisans

    Türkçe

    Türkçe

    2012

    Enerjiİstanbul Teknik Üniversitesi

    Enerji Bilim ve Teknoloji Ana Bilim Dalı

    PROF. DR. MURAT AYDIN

  5. Launch vehicle navigation system design and comprehensive performance analysis

    Fırlatma aracı seyrüsefer sistem tasarımı ve kapsayıcı performans analizi

    ALTUĞ ERTAN

    Yüksek Lisans

    İngilizce

    İngilizce

    2024

    Havacılık ve Uzay Mühendisliğiİstanbul Teknik Üniversitesi

    Uçak ve Uzay Mühendisliği Ana Bilim Dalı

    PROF. DR. CENGİZ HACIZADE