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...

Among the six envelope subgroups of avian leukosis virus (ALV) that infect chickens, subgroups A (ALV-A) and J (ALV-J) are the most pathogenic and widespread among commercial chicken populations. While ALV-A is predominantly associated with lymphoid leukosis (LL) and less frequently with erythroblastosis (EB), ALV-J mainly induces tumours of the myeloid lineage. In order to examine the basis fo...

Subgroup J avian leucosis virus (ALV-J) causes great economic losses in the poultry industry. One in 3 grandparent farms was closed due to ALV-J infection in 1998 in Taiwan. The remaining 2 farms were forced to import breeding chicks from different breeding companies afterwards. We report on the ALV-J infection status among these breeders, their progeny and Taiwan native chickens during 2000-20...

Subgroup J avian leukosis virus (ALV-J) is an oncogenic retrovirus that causes immunosuppression and enhances susceptibility to secondary infection. The innate immune system is the first line of defense in preventing bacterial and viral infections, and dendritic cells (DCs) play important roles in innate immunity. Because bone marrow is an organ that is susceptible to ALV-J, the virus may influ...

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...

J subgroup avian leukosis virus (ALV-J) infects domestic chicken, jungle fowl, and turkey and enters the host cell through a receptor encoded by tvj locus and identified as Na+/H+ exchanger 1 (NHE1). The resistance to ALV-J in a great majority of examined galliform species was explained by deletions or substitutions of the critical tryptophan 38 in the first extracellular loop of NHE1, and gene...

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) ...

Exploration of the abnormal expression exosomal molecules during infection avian leukosis virus subgroup J (ALV-J) is essential to provide a deeper understanding exosome’s role in viral pathogenesis involved. The study aimed investigate differentially expressed proteins and miRNAs exosomes derived from DF-1 cells infected by ALV-J, their gene function involved signal pathways. We isolated ALV-J...