George Ma

Learn More
Triamterene, because of its potassium-sparing properties, is frequently used in combination with hydrochlorothiazide (HCTZ) to treat patients with hypertension. By inhibiting the epithelial sodium channel (ENaC) in the cortical collecting duct, triamterene reduces potassium secretion, thus reducing the risk of hypokalemia. Whether triamterene has an(More)
Paroxetine hydrochloride (3S-trans)-3-[(1,3-benzodioxol-5-yloxy)methyl]-4-(4-fluorophenyl)-piperidine hydrochloride (or (-)-(3S,4R)-(4-(p-fluorophenyl)-3-[[3,4-(methylenedioxy)-phenoxy]methyl]piperidine hydrochloride), a phenylpiperidine derivative, is a selective serotonin reuptake inhibitor. Paroxetine is indicated for the treatment of depression,(More)
We present an approach to model checking Abstract State Machines, in the context of a larger project called CoreASM, which aims to provide a comprehensive and extensible tool environment for the design, validation, and verification of systems using the Abstract State Machine (ASM) formal methodology. Model checking is an automated and efficient formal(More)
  • 1