Software Model Checking

Ranjit Jhala

doi:10.1145/1592434.1592438

2009-10-09

266

PRE

Ranjit Jhala *

Rupak Majumdar

DOI：10.1145/1592434.1592438

原文链接

原文求助

摘要

En 中文

We survey recent progress in software model checking.

Keyword:

Languages

Verification

Reliability

Software model checking

enumerative and symbolic model checking

abstraction

counterexample-guided refinement

safety

liveness

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

ACM Computing Surveys

IF:

论文数:

2.4K

被引数:

3.5W

机构

University of California System

学者数:

37.5W

论文数: 33.7W

被引数: 6.6K

University of California San Diego

学者数:

4.6W

论文数: 3.5W

被引数: 924

引用论文

Using test positivity and reported case rates to estimate state-level COVID-19 prevalence and seroprevalence in the United States

PLOS Computational Biology

IF0

2021-09-07

OAAI

Weihsueh A. Chiu; Martial L. Ndeffo-Mbah

IF0

PREAI

IF0

PREAI

IF0

PREAI

Understand the Specific Regio- and Enantioselectivity of Fluostatin Conjugation in the Post-Biosynthesis

Biomolecules

IF0

2020-05-26

OAAI

Yuanqi Wang; Changsheng Zhang; Yi-Lei Zhao; Rosalinda Zhao; Kendall N. Houk

Pili for nanowires

Nature Microbiology

IF0

2021-10-14

PREAI

Thomas Boesen; Lars Peter Nielsen; Andreas Schramm

Multiple Scattering Calculations of Light Propagation in Ocean Water

Applied Optics

IF0

1973-02-01

PREAI

Clarence J. Funk

Many-body calculations of two-photon, two-color matrix elements for attosecond delays

Physical Review A

IF0

2019-10-31

OAAI

Jimmy Vinbladh; Jan Marcus Dahlström; Eva Lindroth

Single-Molecule Detection on a Protein-Array Assay Platform for the Exposure of a Tuberculosis Antigen

Journal of Proteome Research

IF0

2011-02-16

OAAI

Ronny Schmidt; Jaroslaw Jacak; Christopher Schirwitz; Volker Stadler; Gerd Michel; Nicole Marmé; Gerhard J. Schütz; Jörg D. Hoheisel; Jens-Peter Knemeyer

Does it take older adults longer than younger adults to perceptually segregate a speech target from a background masker?在感知上将语音目标与背景掩蔽器隔离开来是否需要老年人比年轻人更长的时间？

Hearing Research

IF0

2012-08-01

PREAI

Boaz M. Ben-David; Vania Y.Y. Tse; Bruce A. Schneider

查看更多内容