Mathematical Specification and Logic Modelling in the context of IR
Miguel Martinez-Alvarez, Marco Bonzanini, Thomas Roelleke · 2013
Many IR models and tasks rely on a mathematical specification, and, in order to check its correctness, extensive testing and manual inspection is usually carried out. However, a formal guarantee can be particularly difficult, or even impossible, to provide.