Skip to main content

2 Result(s)

within Devesh Bhatt Remove this filter

and
Your search also matched 9 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you. results, e.g.

Simple adsorptive removal of crystal violet, a triarylmethane dye, from synthetic wastewater using Fe (III)-treated pine needle biochar

Include preview-only content

  1. Chapter and Conference Paper

    Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems

    Avionic systems involve complex time-dependent behaviors across interacting components. This paper presents a contract-based approach for formally verifying these behaviors in a compositional manner. A unique ...

    Devesh Bhatt, Arunabh Chattopadhyay, Wenchao Li, David Oglesby… in NASA Formal Methods (2016)

    Download PDF (597 KB) View Chapter

  2. Chapter and Conference Paper

    Improving an Industrial Test Generation Tool Using SMT Solver

    We present an SMT solving based test generation approach for MATLAB Simulink designs, implemented in the HiLiTE tool developed by Honeywell for verification of avionic systems. The test requirements for a Simu...

    Hao Ren, Devesh Bhatt, Jan Hvozdovic in NASA Formal Methods (2016)

    Download PDF (2039 KB) View Chapter