Software model checking Page 1 21 Software Model Checking RANJIT JHALA University of
California, San Diego and RUPAK MAJUMDAR University of California, Los Angeles We survey …

The literature on the long‐term sequelae of sexual and physical abuse is reviewed. Abused
children are at risk of long‐term adverse psychological sequelae related to the abuse per se …

The authors hypothesized that both narcissism and high self-esteem are associated with
positive self-views but each is associated with positivity in different domains of the self …

Propositional bounded model checking has been applied successfully to verify embedded
software, but remains limited by increasing propositional formula sizes and the loss of high …

We describe a prototype scalable and highly available web server, built on an IBM SP-2
system, and analyze its scalability. The system architecture consists of a set of logical front …

We describe and evaluate three approaches to model check multi-threaded software with
shared variables and locks using bounded model checking based on Satisfiability Modulo …

We present a general approach for verifying safety properties of Lustre programs
automatically. Key aspects of the approach are the choice of an expressive first-order logic …

This paper proposes rewriting modulo SMT, a new technique that combines the power of
SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is …

The present research tested the extent to which perceptions of early childhood experiences
with parents predicted general views of the self (ie, self‐esteem) and others (ie, humanity …

A new notion of generalized rewrite theory suitable for symbolic reasoning and generalizing
the standard notion in [19] is motivated and defined. Also, new requirements for symbolic …