A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting.

Kyungmin Bae José Meseguer

Published in: Electron. Notes Theor. Comput. Sci. (2012)

Keyphrases

model checking
linear temporal logic
model checker
temporal logic
formal specification
formal methods
transition systems
formal verification
machine learning
specification language
software engineering
general purpose
modal logic
finite state
description language