Hasan Amjad - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2013

Explanation of two non-blocking shared-variable communication algorithmsRichard Bornat, Hasan Amjad. fac, 25(6):893-931, 2013. [doi]

2010

Inter-process buffers in separation logic with rely-guaranteeRichard Bornat, Hasan Amjad. fac, 22(6):735-772, 2010. [doi]

2009

Towards Automatic Stability Analysis for Rely-Guarantee ProofsHasan Amjad, Richard Bornat. vmcai 2009: 14-28 [doi]

Efficiently checking propositional refutations in HOL theorem proversTjark Weber, Hasan Amjad. japll, 7(1):26-40, 2009. [doi]

2008

Model Checking for Stability Analysis in Rely-Guarantee ProofsHasan Amjad, Richard Bornat. cade 2008: [doi]

LCF-Style Propositional Simplification with BDDs and SAT SolversHasan Amjad. tphol 2008: 55-70 [doi]

Data Compression for Proof ReplayHasan Amjad. JAR, 41(3-4):193-218, 2008. [doi]

2007

A Compressing Translation from Propositional Resolution to Natural DeductionHasan Amjad. frocos 2007: 88-102 [doi]

Compressing Propositional RefutationsHasan Amjad. ENTCS, 185:3-15, 2007. [doi]

2006

Verification of AMBA Using a Combination of Model Checking and Theorem ProvingHasan Amjad. ENTCS, 145:45-61, 2006. [doi]

2005

Shallow Lazy ProofsHasan Amjad. tphol 2005: 35-49 [doi]

2004

Combining model checking and theorem provingHasan Amjad. PhD thesis, University of Cambridge, UK, 2004. [doi]

2003

Programming a Symbolic Model Checker in a Fully Expansive Theorem ProverHasan Amjad. tphol 2003: 171-187 [doi]

Sign in or sign up to see more results.

runs on WebDSL