Nimetatud kohtuprotsessi korraldas paavst Stephanus VI (ametis 896–897). Ta lasi Formosuse (ametis 891–896) surnukeha hauast välja kaevata, riietada paavsti ametiriietesse ja seada kohtuprotsessi ajaks kirikusaali, kus surnud paavsti eest andis vastuseid üks diakon. Protsessi tulemusena mõisteti Formosus süüdi valevande andmises ja mitmel piiskopitoolil istumises, tema ametiaeg ja vastu võetud otsused tühistati. Kuna laibasinod oli poliitiliselt motiveeritud õiguslik farss, loobusid hilisemad paavstid selle otsuste tunnustamisest ja Formosust loetakse siiani seaduslikuks paavstiks.
