A practical comparison of Alloy and Spin.

Published in: Formal Aspects Comput. (2015)

Keyphrases

real world
room temperature
artificial intelligence
wide range
information systems
knowledge base
database systems
cooperative
quantitative evaluation