On the Replacement of Induction for a First Order Linear Temporal Logic.

Regimantas Pliuskevicius

Published in: WOCFAI (1995)

Keyphrases

linear temporal logic
temporal logic
model checking
bounded model checking
machine learning
domain specific
modal logic
formal specification
finite state