TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations.

Jean-Charles Grégoire

Published in: FME (1997)

Keyphrases

software engineering
artificial intelligence
preprocessing
empirical studies
benchmark datasets
case study
computational cost
feature space
significant improvement
temporal logic