C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Fully verifying transformation contracts for declarative ATL.
Bentley James Oakes
Javier Troya
Levi Lucio
Manuel Wimmer
Published in:
MoDELS (2015)
Keyphrases
</>
model checking
temporal logic
multi agent systems
supply chain
alternating time temporal logic
knowledge representation
domain independent
transformation rules
database
real world
information retrieval
verification method
decision making
high level
multiscale
declarative language