Security Oriented Analysis of B92 by Model Checking.

Mohamed Elboukhari Abdelmalek Azizi Mostafa Azizi

Published in: NTMS (2008)

Keyphrases

model checking
temporal logic
finite state
formal verification
dynamic analysis
reactive systems
temporal properties
verification method
reachability analysis
model checker
formal specification
asynchronous circuits
concurrent systems
timed automata
transition systems