Login / Signup
Can Message Buffers Be Axiomatized in Linear Temporal Logic?
A. Prasad Sistla
Edmund M. Clarke
Nissim Francez
Albert R. Meyer
Published in:
Inf. Control. (1984)
Keyphrases
</>
linear temporal logic
temporal logic
bounded model checking
model checking
email
learning algorithm
production system
transition systems
search algorithm
modal logic
search tree