Hadith Web Browser Verification Extension.

Maged M. Eljazzar Mostafa Abdulhamid Mahmoud Mouneer Ayman Salama

Published in: CoRR (2017)

Keyphrases

web browser
website
web applications
user interface
web server
web pages
model checking
data sets
artificial intelligence
web content
client server architecture
formal verification
image processing
user friendly interface
signature verification
linear time temporal logic
world wide web
peer to peer
databases