Refinement Types for tla +.

Stephan Merz Hernán Vanzetto

Published in: NASA Formal Methods (2014)

Keyphrases

temporal logic
databases
face recognition
special case
real time
real world
feature extraction
similarity measure
video sequences
pattern recognition
probabilistic model