1 articletagged with “safety-properties”
Apply formal verification methods to prove or disprove safety properties of LLM-based applications.