Hasil Pencarian - Stefan Ciobaca

  • Menampilkan 1 - 4 hasil dari 4
Perbaiki Hasil
  1. 1
    Verifying the DPLL Algorithm in Dafny

    Verifying the DPLL Algorithm in Dafny oleh Cezar-Constantin Andrici, Ştefan Ciobâcă

    Diterbitkan 2019-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    A Verified Implementation of the DPLL Algorithm in Dafny

    A Verified Implementation of the DPLL Algorithm in Dafny oleh Cezar-Constantin Andrici, Ștefan Ciobâcă

    Diterbitkan 2022-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics

    Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics oleh Andrei-Sebastian Buruiană, Ştefan Ciobâcă

    Diterbitkan 2019-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    All-Path Reachability Logic

    All-Path Reachability Logic oleh Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon Moore, Traian Florin Serbanuta, Grigore Rosu

    Diterbitkan 2019-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: