# formal-verification
2 artikelengetagd met “formal-verification”
Formele verificatie van injection-verdedigingen
Onderzoek naar formele methoden om eigenschappen van injection-verdedigingen te verifiëren en wiskundige garanties te bieden voor de effectiviteit van verdedigingen.
researchformal-verificationproofsguarantees
Formele verificatie van veiligheidseigenschappen van LLM's
Apply formal verification methods to prove or disprove safety properties of LLM-based applications.
labsformal-verificationsafety-propertiesexpert