Affiliations: DIMES, Università della Calabria, via P. Bucci, Cubo, Rende (CS), Italy | DIEGM, Università di Udine, via delle Scienze, Udine, Italy
Note: [] Corresponding author: Luigi Palopoli, DIMES, Università della Calabria, via P. Bucci, Cubo 41C, 87036, Rende (CS), Italy. E-mail: [email protected]
Abstract: ${\sc np-spec}$ is a logic-based executable specification language developed primarily by Marco Cadoli, with the collaboration of these and other authors. This paper describes, by means of several examples, the core language of ${\sc np-spec}$, along with its semantics and expressive power. Finally, we briefly discuss the translation of ${\sc np-spec}$ specifications into SAT formulae, which provides an efficient implementation of its execution engine.
Keywords: Specification languages, NP-complete problems, SAT solvers, executable specifications
