Eine Methode zur formalen Verifikation von RISC-Prozessoren

von Tahar, Sofiène
Veröffentlicht 1995

˜Eineœ Methode zur formalen Verifikation von RISC-Prozessoren

von Tahar, Sofiène
Veröffentlicht 1995

Eine Methode zur formalen Verifikation von RISC-Prozessoren

von Tahar, Sofiène
Veröffentlicht 1994

Formalization of RBD-Based Cause Consequence Analysıs in HOL

von Abdelghany, Mohamed
Veröffentlicht in CICM (14. : 2021 : Online) Intelligent Computer Mathematics (2021)

Formalized probability theory and applications using theorem proving

von Hasan, Osman
Veröffentlicht 2015

A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving

von Elderhalli, Yassmeen
Veröffentlicht in CICM (13. : 2020 : Online) Intelligent computer mathematics (2020)

Formal Verification of Cyber-Physical Systems Using Theorem Proving

von Rashid, Adnan
Veröffentlicht in FTSCS (7. : 2019 : Shenzhen) Formal techniques for safety-critical systems (2020)

Theorem proving in higher order logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008; proceedings

Veröffentlicht 2008

Verification and evaluation of computer and communication systems : 11th international conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings

Veröffentlicht 2017

Formal methods and software engineering : 24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings

Veröffentlicht 2023