HOME | KONTAKT

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen

Mohamed Nadeem, M.Sc.


Mein Forschungsschwerpunkt liegt im Bereich der formalen Verifikation, indem ich das Schaltungsverhalten als logisches Programm abbilde und im Verifikationsprozess die Answer-Set-Programmierung anwende.

WiMi

+49 421 218-63947

MZH 4250

mnadeem@uni-bremen.de

Polynomial Formal Verification of Adder Circuits Using Answer Set Programming
Autor: Mohamed Nadeem, Jan Kleinekathöfer and Rolf Drechsler
Workshop: 2023 Reed-Muller Workshop (RM2023)
Pdf | Referenz: Matsue, Shimane, Japan

« zurück


©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz