Skip to main content
AkademIndex

Products

For developers

AkademBaseOpen API for the ecosystem

Denis Patti

1 works

  1. To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties

    P. Camurati, C. Loiacono, Paolo Pasini +2

    ArticleFormal Methods in VerificationPORTO Publications Open Repository TOrino (Politecnico di Torino)20140 citations
    ABI