Sign inSubmit

Journal of Computer Science

ISSN 1549-3636 (print)eISSN 1552-6607 (online) Open access
Sign up for alertsSubmit manuscript
computersciencejournal.org is not ours. This journal is published only at thescipub.com/jcs. Report a suspicious emailcomputersciencejournal.org is not ours · Report
Research Article · Open access · Published 10 August 2010

Usability Requirements of Formal Verification Tools: A Survey

Rozilawati Razali, Paul Garratt
ArticleArticle metrics

Since publication

7,185Views
4,593PDF downloads
3Citations (Crossref)

Views and downloads by month

NovDecJanFebMarAprMayJunJulAugSepOct
Views PDF downloadsLast 12 months, counted as COUNTER asks (robots and repeat clicks within 30 seconds left out)
Show as a table
Views and downloads by month
MonthViewsDownloads
Nov 2025183120
Dec 202512778
Jan 202615493
Feb 202611273
Mar 202618191
Apr 2026120115
May 2026156101
Jun 202620974
Jul 2026163100
Aug 2026112116
Sep 202612378
Oct 202610094

Citing articles (3)

Read from Crossref’s cited-by service every week, newest first.

  1. doi:10.3844/jcssp.2011.1581.1589Found 12 June 2020
  2. doi:10.1109/indin.2016.7819246Found 12 June 2020
  3. doi:10.3844/jcssp.2011.225.233Found 12 June 2020