Browsing by Author "Lalwani, Prakash"

OpenBU

Browsing by Author "Lalwani, Prakash"

Sort by: Order: Results:

  • Ontology Support for a Lightweight Formal Verification System
    Lapets, Andrei; Lalwani, Prakash; Kfoury, Assaf (CS Department, Boston University, 2010-05-14)
    The usability of verification systems is becoming increasingly important, and the effective integration of ontologies of formal facts (definitions, propositions, and syntactic idioms) into machine verification systems will ...