Login / Signup
PARCOACH Extension for a Full-Interprocedural Collectives Verification.
Pierre Huchant
Emmanuelle Saillard
Denis Barthou
Hugo Brunie
Patrick Carribault
Published in:
CORRECTNESS@SC (2018)
Keyphrases
</>
verification method
data structure
information technology
model checking
real time
databases
decision making
face recognition
multiscale
collective intelligence
face verification
false acceptance rate
functional verification