Automatic Simulation of Network Problems in UDP-Based Java Programs Temporal Logic and Natural Language Conditioned Transitions.

Doron Drusinsky

Published in: IPDPS (2004)

Keyphrases

temporal logic
java programs
natural language
model checking
modal logic
linear temporal logic
verification method
formal specification language
social networks
case study
network structure
computer networks
software components
satisfiability problem
qualitative differential equations
mazurkiewicz traces