# safety-properties

Formele verificatie van veiligheidseigenschappen van LLM's

Apply formal verification methods to prove or disprove safety properties of LLM-based applications.