Aviel D. Rubin (ACCURATE Director), Johns Hopkins University Dan S. Wallach (ACCURATE Associate Director), Rice University Dan Boneh, Stanford University Michael D. Byrne, Rice University Drew Dean, SRI International David L. Dill, Stanford University Douglas W. Jones, University of Iowa Peter G. Neumann, SRI International Deirdre Mulligan, University of California, Berkeley David A. Wagner, Un...

Odell, J., Palmer, K., & Dill, E. (2017). Faculty Attitudes toward Open Access and Scholarly Communications: Disciplinary Differences on an Urban and Health Science Campus. Journal of Librarianship and Scholarly Communication, 5(General Issue), eP2169. http://dx.doi.org/10.7710/2162-3309.2169 Faculty Attitudes toward Open Access and Scholarly Communications: Disciplinary Differences on an Urban...

In this paper, we extend the verification method based on trace theory by Dill et al. such that it can handle bounded delay asynchronous circuits and check certain liveness properties as well as safety properties. We use time Petri nets to model both bounded delay circuits and timed properties to be verified. Some experimental results are also shown to demonstrate the proposed method.