Jag har mejlat med mina processorgurus för att se om de kan avkoda vad PetraVMs verktyg gör. Av några artiklar att döma handlar tekniken om att avlusa programvara genom att spela in programkörningen. När ett programfel uppstår ska man sedan kunna backa tillbaka inspelningen och undersöka hur felet uppstod. Här är en länk till en av artiklarna.