CoDefeater: Using LLMs To Find Defeaters in Assurance Cases

Open in new window