Showing 1 - 3 results of 3 for search 'Ştefan Ciobâcă', query time: 0.02s Refine Results
  1. 1
    A Verified Implementation of the DPLL Algorithm in Dafny

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

    Published 2022-06-01
    Get full text
    Article
  2. 2
    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 by Andrei-Sebastian Buruiană, Ştefan Ciobâcă

    Published 2019-02-01
    Get full text
    Article
  3. 3
    All-Path Reachability Logic

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

    Published 2019-04-01
    Get full text
    Article

Search Tools: