Formal Verification of Neuromorphic Architectures

@article{pub17142,
    author = {

Weingarten, Lennart
 and 

Datta, Kamalika
 and 

Drechsler, Rolf
},
    title = {Formal Verification of Neuromorphic Architectures},
    year = {2026},
    journal = {SN Computer Science (SNCS)},
    publisher = {Springer Nature}
}