Db_violate()

Db_violated() è una funzione che ho trovato in un articolo di M. Lowry e M. Subramaniam del 1998 (sono due ricercatori della NASA), Abstraction for analytic verification of concurrent software systems. L’articolo è incomprensibile, ed è in formato Post Script, per cui avrete bisogno di un editore di immagini per vederlo…

Uomini che violano / Men that violate
Uomini che violano / Men that violate