Assertion-based verification (ABV) has recently emerged as the only functional verification methodology capable of keeping pace with increasingly complex integrated circuits. When using ABV, designers ...

A great deal of attention has been paid recently to the claim that traditional Frankfurt-type counterexamples to the Principle of Alternative Possibilities (PAP), which depend for their success on the ...

Tsukuba, Japan—Distributed constraint optimization problems are crucial for modeling cooperative-multiagent systems. Asynchronous Distributed OPTimization (ADOPT) is a well-known algorithm for solving ...

This project is based on preliminary notes the author wrote a few years ago about concrete examples and counterexamples, constructions and computations in elementary algebraic geometry. The goal of ...

Abstract: Counter examples for specification violations provide engineers with important debugging information. Although counterexamples are considered one of the main advantages of model checking, ...

The counterexamples presented here are the first of this kind for notions of differentiability that satisfy a chain rule. Their context arises naturally from requiring differentiability of crucial ...

Such weak counterexamples only work as long as A remains unjudgeable (or untestable). As soon as we obtain a proof of A v -«A (or ->A v -"-«A), x ceases to be a counterexample and we must choose ...