Assertion based verification using PSL-like properties in Haskell.

Bahram N. Uchevler Kjetil Svarstad

Published in: DDECS (2013)

Keyphrases

model checking
programming language
structural properties
topological properties
functional programming
databases
information retrieval
social networks
information systems
three dimensional