Login / Signup
An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages.
Laura Titolo
Published in:
Theory Pract. Log. Program. (2013)
Keyphrases
</>
abstract interpretation
model checking
information systems
multi agent systems
agent architecture
static analysis