33 research outputs found
Inflammatory mediator release from primary rhesus microglia in response to Borrelia burgdorferi results from the activation of several receptors and pathways
Get PDFModel checking x86 executables with CodeSurfer/x86 and WPDS
No full textAbstract. This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a model from an executable in the form of a weighted pushdown system. WPDS++ is a library for answering generalized reachability queries on weighted pushdown systems. The Path Inspector is a software model checker built on top of CodeSurfer and WPDS++ that supports safety queries about the programās possible control configurations.
Model Checking x86 Executableswith CodeSurfer/x86 and WPDS++ G. Balakrishnan
No full textAbstract. This paper presents a toolset for model checking x86 executables. The membersof the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a model from an executable in the form of a weighted pushdown system.WPDS++ is a library for answering generalized reachability queries on weighted pushdown systems. The Path Inspector is a software model checker built on top of CodeSurfer andWPDS++ that supports safety queries about the program's possible control configurations
Systemic immune responses in patients with early localized or early disseminated Borrelia afzelii
No full text
