s: Software Foundations Modeling Redundancy: Quantitative and Qualitative Models .......................................................43 Ali Mili............New Jersey Institute of Technology, USA Frederick T Sheldo............Oak Ridge National Lab, USA Lan Wu............New Jersey Institute of Technology, USA Mark Shereshevsky and Jules Desharnais Contribution to the Formal Checking of Multi-Agents Systems....................................................43 F. Belal............Universit