Zoekresultaten - "formal verification"
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
-
1
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
Gepubliceerd in 2016Onderwerpen: “…Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
2
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022
Gepubliceerd in 2022Onderwerpen: “…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
Elektronisch Hoofdstuk -
3
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022
Gepubliceerd in 2022Onderwerpen: “…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
Elektronisch Hoofdstuk -
4
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Gepubliceerd in 2023Onderwerpen: “…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
Elektronisch Hoofdstuk -
5
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Gepubliceerd in 2020Onderwerpen: “…Formal Verification, Specification, Synthesis, and Testing…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
6
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Gepubliceerd in 2021Onderwerpen: “…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
Elektronisch Hoofdstuk -
7
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Gepubliceerd in 2020Onderwerpen: “…Formal Verification, Specification, Synthesis, and Testing…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
8
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Gepubliceerd in 2021Onderwerpen: “…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
Elektronisch Hoofdstuk -
9
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Gepubliceerd in 2023Onderwerpen: “…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
Elektronisch Hoofdstuk -
10
Agents and Robots for Reliable Engineered Autonomy
Gepubliceerd in 2021Onderwerpen: “…formal verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
11
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Gepubliceerd in 2021Onderwerpen: “…formal verifications…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
12
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Gepubliceerd in 2021Onderwerpen: “…formal verifications…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
13
Trustworthiness in Mobile Cyber Physical Systems
Gepubliceerd in 2021Onderwerpen: “…formal verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
14
Cyber Security of Critical Infrastructures
Gepubliceerd in 2021Onderwerpen: “…formal verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk