Action Language is a specification language for reactive software systems. In this paper, we present the syntax and the semantics of the Action Language and we also present an infinite-state symbolic model checker called Action Language Verifier (ALV) that verifies (or falsifies) CTL properties of Action Language specifications. ALV is built on top of the Composite Symbolic Library, which is a ...

Avian leukosis virus (ALV) is a highly contagious retrovirus that causes tumors and has resulted in great economic loss worldwide owing to its high transmission rate. Various ALV viral subgroups exist, with infections occurring via specific host receptors. The susceptibility or resistance of avian species the ALV-A K determined by receptor, tumor locus A (tva) gene, while ALV-B depends o...

UNLABELLED Avian leukosis virus (ALV) induces B-cell lymphoma and other neoplasms in chickens by integrating within or near cancer genes and perturbing their expression. Four genes--MYC, MYB, Mir-155, and TERT--have previously been identified as common integration sites in these virus-induced lymphomas and are thought to play a causal role in tumorigenesis. In this study, we employ high-through...

A new subgroup of avian leukosis virus (ALV), designated subgroup J, was identified recently. Viruses of this subgroup do not cross-interfere with viruses of the avian A, B, C, D, and E subgroups, are not neutralized by antisera raised against the other virus subgroups, and have a broader host range than the A to E subgroups. Sequence comparisons reveal that while the subgroup J envelope gene i...

Gap junctions are critical to maintaining synchronized impulse propagation and repolarization. Heterogeneous expression of the principal ventricular gap junction protein connexin43 (Cx43) is associated with action potential duration (APD) dispersion across the anterior ventricular wall. Little is known about Cx43 expression patterns and their disparate impact on regional electrophysiology throu...

In an attempt to determine the seroprevalence of avian leukosis virus (ALV) in exotic broiler chickens and Nigerian local chickens in Zaria, Nigeria, a total of 600 sera (300 from exotic broiler chickens and 300 from Nigerian local chickens), obtained from the live bird market in Zaria, Nigeria, were tested for ALV p27 antigen by the antigen capture enzyme linked immunosorbent assay (ac-ELISA) ...

The first complete genome sequence of the Alfalfa latent carlavirus (ALV) was obtained by primer walking and Illumina RNA sequencing. The virus differs substantially from the Czech ALV isolate and the Pea streak virus isolate from Wisconsin. The absence of a clear nucleic acid-binding protein indicates ALV divergence from other carlaviruses.

Reverse transcriptase (RT) activity has been detected recently in all chicken cell-derived measles and mumps vaccines. A study of a vaccine manufactured in Europe indicated that the RT is associated with particles containing endogenous avian retrovirus (EAV-0) RNA and originates from the chicken embryonic fibroblasts (CEF) used as a substrate for propagation of the vaccine. We investigated the ...