C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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