Login / Signup
Behaviour-based Virus Detection System using Interval Temporal Logic.
Sulaiman Al Amro
Antonio Cau
Published in:
CRiSIS (2011)
Keyphrases
</>
temporal logic
virus detection
model checking
artificial immune system
satisfiability problem
modal logic
model checker
verification method
mazurkiewicz traces
concurrent systems
linear temporal logic
temporal knowledge
computation tree logic
genetic algorithm
transition systems
dynamic constraints
formal specification language
domain specific