Teknologi.Bagian dari ensiklopedia.onlineCari/
BerandaKomputasi & perangkat lunakFormal Verification of Programming by Demonstration Systems
Proyek riset & pengembangan

Formal Verification of Programming by Demonstration Systems

Ringkasan tujuan riset

Verifikasi Programming by Demonstration meneliti penggunaan SMT solver dan model checking agar perangkat lunak yang dipelajari dari contoh dapat memenuhi properti kritis sambil tetap dapat dilatih ulang.

Komputasi & perangkat lunak1 rujukanProfil diperbarui
Lihat rujukanBandingkan proyek
Linimasa NASA TechPort 9180Periode tercatat 2011-02-18 sampai 2011-09-29. TRL: awal 1, saat akses 3, target 3. Target bukan hasil.NASA TechPort 9180MulaiAkhir tercatat201120122011-02-182011-09-29TRL 1–9Awal1Saat akses3Target3
Linimasa dan catatan proyek

Tanggal dan TRL menurut catatan penerbit. Akhir periode dan target bukan bukti hasil riset.

Teknologi · CC BY 4.0 · Sumber data

Apa tujuan dan pendekatan risetnya?

Profil ini merangkum ruang lingkup proyek yang dipublikasikan NASA TechPort. Sumber diakses . Uraian pendekatan dan manfaat menyatakan tujuan pengembangan, kecuali sumber secara khusus melaporkan hasil.

Tahap awal merencanakan publikasi dan prototipe PBD yang dapat diverifikasi melalui Satisfiability Modulo Theories solver. Pengembangan lanjutan menerapkan metode formal lebih kompleks seperti model checking untuk meningkatkan kemampuan pemeriksaan. Tujuannya ialah sistem trainable yang menyesuaikan penggunaan tanpa selalu membuat otomasi manual baru. Pemenuhan properti kritis merupakan sasaran, sehingga keluwesan pembelajaran mesin tidak dianggap telah membuktikan seluruh perangkat lunak hasil demonstrasi aman atau benar.

Baca uraian penerbit

Konteks pengembangan

Institusi pemimpin
Galois, Inc.
Program
Small Business Innovation Research/Small Business Tech Transfer
Periode proyek
2011-02-18 → 2011-09-29

Klasifikasi NASA

  • TX10.2.7 — Learning and Adaptation

Label penerbit dipertahankan sebagai konteks. Bidang katalog merupakan pengelompokan editorial.

Apa yang diketahui tentang statusnya?

Status proyek menurut NASACompleted
Awal proyekTRL 1
Tercatat saat aksesTRL 3
Target akhirTRL 3

TRL adalah tingkat kesiapan teknologi yang dilaporkan penerbit, pada skala 1–9. Nilai target akhir menunjukkan sasaran. Status “Completed” berarti proyek telah selesai menurut pencatatan NASA; status tersebut tidak membuktikan bahwa seluruh sasaran kinerja telah tercapai.

Batas informasi

Profil ini menjelaskan ruang lingkup riset dari catatan penerbit. Target pengembangan dan TRL akhir bukan bukti keberhasilan, ketersediaan produk, atau kelayakan penerapan. Tinjauan ahli dan pengujian performa independen belum dilakukan.

Dasar profil

Metodologi dan batas pemeriksaan. Ringkasan berbahasa Indonesia disusun sebagai parafrasa editorial dengan pemeriksaan sumber primer oleh agen AI. Identitas, periode, serta status berasal dari catatan penerbit. Tinjauan ahli dan pengujian kinerja independen belum dilakukan; rujukan tidak menyiratkan dukungan atau sertifikasi NASA.