A type system equivalent to a model checker.

Mayur Naik Jens Palsberg

Published in: ACM Trans. Program. Lang. Syst. (2008)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
symbolic model checking
machine learning
software engineering
reverse engineering
ai planning
set theory
binary decision diagrams