Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
-- An Automatic Encoding from VeriFast Predicates into Implicit Dynamic Frames -- Automated Code Proofs
Yazar
Yahav, Eran. editor.
Format:
Electronic Resources
Alıntı:
-- Automatic Error Localization for Software Using Deductive Verification -- Generating JML Specifications from
View Other Search Results
Yazar
Lecomte, Thierry. editor.
Format:
Electronic Resources
Alıntı:
Automatic Proof of Refinement -- S3: Proving the Safety of Critical Systems -- Increasing Proofs Automation
Yazar
Gnesi, Stefania. editor.
Format:
Electronic Resources
Alıntı:
Verification of Medical Device User Interfaces Using PVS -- Sound Control Flow Graph Extraction from Incomplete
Yazar
De Nicola, Rocco. editor.
Format:
Electronic Resources
Alıntı:
Non-Interference -- Automatic Derivation of Platform Noninterference Properties -- Linearizability and Causality
Yazar
Dowek, Gilles. editor.
Format:
Electronic Resources
Alıntı:
) -- Tree Automata with Height Constraints between Brothers -- A Coinductive Confluence Proof for Infinitary
Arama Sonuçlarını Sınırlandır
Daraltılmış: