A Type System Equivalent to a Model Checker.

Mayur Naik Jens Palsberg

Published in: ESOP (2005)

Keyphrases

software architecture
description language
model checker
model checking
formal verification
distributed systems
specification language
symbolic model checking
temporal logic
formal methods
formal specification
knowledge base
machine learning
orders of magnitude
general purpose
fuzzy logic
data structure