Résultats de la recherche - "verification"

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

Sujets: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
DOAB: download the publication
DOAB: description of the publication

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

Sujets: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

Sujets: “…Software testing & verification bicssc…”
DOAB: download the publication
DOAB: description of the publication

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

Sujets: “…Software testing & verification bicssc…”
DOAB: download the publication
DOAB: description of the publication

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

Sujets: “…Software testing & verification bicssc…”
DOAB: download the publication
DOAB: description of the publication

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

Sujets: “…Software testing & verification bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

Sujets: “…Software testing & verification bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

Sujets: “…Software testing & verification bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction par Weiß, Benjamin

Sujets: “…software verification…”
DOAB: download the publication
DOAB: description of the publication

Finite Difference Computing with PDEs: A Modern Software Approach par Svein Linge

Sujets: “…verification…”
DOAB: download the publication
DOAB: description of the publication

From Sperner's Lemma to Differential Equations in Banach Spaces : An Introduction to Fixed Point Theorems and their Applications par Schäfer, Uwe

Sujets: “…verification methods…”
DOAB: download the publication
DOAB: description of the publication

Finite Difference Computing with PDEs: A Modern Software Approach par Langtangen, Hans Petter

Sujets: “…verification…”
DOAB: download the publication
DOAB: description of the publication

Radar Forward Operator for Verification of Cloud Resolving Simulations within the COSMO Model par Jerger, Dorit

Sujets: “…Model Verification…”
DOAB: download the publication
DOAB: description of the publication

Finite Difference Computing with PDEs: A Modern Software Approach par Langtangen, Hans Petter

Sujets: “…verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Datenqualität in der medizinischen Forschung Leitlinie zum adaptiven Management von Datenqualität in Kohortenstudien und Registern par Nonnemacher, Michael

Sujets: “…source data verification…”
DOAB: download the publication
DOAB: description of the publication

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation par Breitner, Joachim

Sujets: “…Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle…”
DOAB: download the publication
DOAB: description of the publication

The Potential Role for Community Monitoring in MRV and in Benefit Sharing in REDD+

Sujets: “…reporting and verification…”
DOAB: download the publication
DOAB: description of the publication

Specification and verification of object-oriented software components par Roth, Andreas

Sujets: “…deductive verification…”
DOAB: download the publication
DOAB: description of the publication

Datenqualität in der medizinischen Forschung Leitlinie zum adaptiven Management von Datenqualität in Kohortenstudien und Registern par Nonnemacher, Michael

Sujets: “…source data verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

Sujets: “…verification…”
DOAB: download the publication
DOAB: description of the publication