Login / Signup
hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing.
Achim D. Brucker
Lukas Brügger
Burkhart Wolff
Published in:
ICTAC (2013)
Keyphrases
</>
real time
formal methods
database
reactive systems
mobile robot
dynamic environments
intrusion detection
indoor environments
genetic algorithm
test cases
intrusion detection system
network security
complex environments
formal verification
java card