From Linear Types to Behavioural Types and Model Checking.

Naoki Kobayashi

Published in: Concurrent Objects and Beyond (2014)

Keyphrases

model checking
formal verification
artificial intelligence
multi agent
temporal logic
formal specification
temporal properties
concurrent systems