10,760 research outputs found
Recommended from our members
The use of sequencing information in software specification for verification
Software requirements specifications, virtual machine definitions, and algorithmic design all place constraints on the sequence of operations that are permissible during a program's execution. This paper discusses how these constraints can be captured and used to aid in the program verification process. The sequencing constraints can be expressed as a grammar over the alphabet of program operations. Several techniques can be used in support of testing or verification based on these specifications. Dynamic aalysis and static analysis are considered here. The automatic generation of some of these aids is feasible; the means of doing so is described
Phase Diagram for Quantum Hall Bilayers at
We present a phase diagram for a double quantum well bilayer electron gas in
the quantum Hall regime at total filling factor , based on exact
numerical calculations of the topological Chern number matrix and the
(inter-layer) superfluid density. We find three phases: a quantized Hall state
with pseudo-spin superfluidity, a quantized Hall state with pseudo-spin
``gauge-glass'' order, and a decoupled composite Fermi liquid. Comparison with
experiments provides a consistent explanation of the observed quantum Hall
plateau, Hall drag plateau and vanishing Hall drag resistance, as well as the
zero-bias conductance peak effect, and suggests some interesting points to
pursue experimentally.Comment: 4 pages with 4 figure
- …