Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference.

Steffen Herbold, Christoph Knieke, Andreas Rausch, Christian Schindler

Browse the full ICSE paper archive.