Login / Signup
Verisim: Formal analysis of network simulations.
Karthikeyan Bhargavan
Carl A. Gunter
Moonjoo Kim
Insup Lee
Davor Obradovic
Oleg Sokolsky
Mahesh Viswanathan
Published in:
ISSTA (2000)
Keyphrases
</>
formal analysis
network topologies
network model
network traffic
agent model
formal methods
peer to peer
network architecture
network management
artificial intelligence
wireless sensor networks
knowledge acquisition
model checking
network structure
complex networks
ban logic