Tutorials
Utiliser Microsoft PDD Kit pour vérifier le Rust d'agent
Prouvez le Rust écrit par un agent par rapport à une spécification que vous avez approuvée d'abord, et testez seulement les parties qu'une preuve ne peut pas atteindre du tout.