Architecting software monitors for control-flow anomaly detection through large language models and conformance checking
arXiv:2511.10876v2 Announce Type: replace-cross
Abstract: Context: Ensuring high levels of dependability in modern computer-based systems has become increasingly challenging due to their complexity. Although systems are validated at design time, their…