Framework for evaluating loop invariantdetection games in relation to automateddynamic invariant detectors
Başlık çevirisi mevcut değil.
- Tez No: 726060
- Danışmanlar: DR. GEOFFREY G. XİE, DR. GLENN COOK
- Tez Türü: Yüksek Lisans
- Konular: Savunma ve Savunma Teknolojileri, Defense and Defense Technologies
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2015
- Dil: İngilizce
- Üniversite: The Naval Postgraduate School
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Belirtilmemiş.
- Bilim Dalı: Belirtilmemiş.
- 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
- 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
2024
Mimarlıkİstanbul Teknik ÜniversitesiBilişim Ana Bilim Dalı
PROF. DR. MERYEM BİRGÜL ÇOLAKOĞLU
- 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
2022
Halkla İlişkilerİstanbul ÜniversitesiHalkla İlişkiler ve Tanıtım Ana Bilim Dalı
PROF. DR. YEŞİM GÜÇDEMİR
- 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
2023
BiyofizikKoç ÜniversitesiBiyomedikal Bilimler ve Mühendislik Ana Bilim Dalı
PROF. DR. İSMAİL LAZOĞLU
- 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
2012
Enerjiİstanbul Teknik ÜniversitesiEnerji Bilim ve Teknoloji Ana Bilim Dalı
PROF. DR. MURAT AYDIN
- 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
2024
Havacılık ve Uzay Mühendisliğiİstanbul Teknik ÜniversitesiUçak ve Uzay Mühendisliği Ana Bilim Dalı
PROF. DR. CENGİZ HACIZADE