Discovering Invariants in the Analysis and Verification of Finite State Transition Systems

This paper points out several significant problems in the specification of the Military Standard Internet Protocol (MIL-STD-1777, dated August 1983 [MILS83a]). These results are based on an initial investigation of this protocol standard. The problems are: (1) a failure to reassemble fragmented messages completely; (2) a missing state transition; (3) errors in testing for reassembly completion;...

Attributed Models of Executable Speci cations Attributed automata (AA) were introduced as a formalism for executable speci cation of knowledge using regular syntax with attributes representing contextual relations as well as semantic properties of concepts. AA can be treated as a generalization of a state transition network with attributes and computational relations attached to states and tran...

For locally homotopy trivial fibrations, one can define transition functions gαβ : Uα ∩ Uβ → H = H(F ) where H is the monoid of homotopy equivalences of F to itself but, instead of the cocycle condition, one obtains only that gαβgβγ is homotopic to gαγ as a map of Uα ∩ Uβ ∩ Uγ into H. Moreover, on multiple intersections, higher homotopies arise and are relevant to classifying the fibration. The...

Introduction: The rapid urbanization coupled with industrial development in Indian cities has led to air pollution that causes adverse effects on the health of human beings. So, it is crucial to track the quality of air in industrial areas of a city to insulate the public from harmful air pollutants.  The present study examined and predicted air quality index levels in industrial areas located ...

Ciénaga de Mallorquín is a coastal lagoon designated as a RAMSAR site due to its ecological regional and international importance. In this work, the environmental fluid dynamics code explorer modeling system was implemented to determine the spatio-temporal distribution of temperature, dissolved oxygen, chemical oxygen demand and nutrient levels, and assess the trophic status of Ciénaga de Mallo...