Search All Articles

Search by:
Verification of Mobile Ad hoc Network Processes with Data
Fatemeh Ghassemi
Keywords: Model checking • Ad hoc networks • Topology-dependent property • State-space explosion
An Efficient Model Checking Algorithm for a Fragment of μ-Calculus
Mohammad Izadi • Ali Movaghar rahimabadi
Keywords: model checking • verification • μ-calculus • first recurrence automata • temporal logics
About Journal
Editorial Board
Guide For Authors
Submit Your Manuscript
Latest Issue
Past Issues
© Copyright - The CSI Journal on Computer Science and Engineering
Produced by Intelligent Information Solutions Center