QuickSpec: Guessing Formal Specifications using Testing

We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem proving. The main challenge QuickSpec faces is to keep the number of generated equations to a minimum while maintaining completeness. We demonstrate how QuickSpec can improve one’s understanding of a program module by exploring the laws that are generated using two case studies: a heap library for Haskell and a fixed-point arithmetic library for Erlang

Synthesis of CdS Nanocrystalsin the Gelatin Matrix with Different рН Values and their Optical Properties

We have investigated the influence of solution pH on the formation of nanocrystals and their size in the process of synthesis. We have analyzed the optical absorption spectra and luminescence of colloidal solutions of NC CdS.Nanocrystals of cadmiumsulphide were obtained by sol-gel technology in gelatin solution which has different pH values (6 ÷ 10). A decrease was observed in the average size of the nanocrystals from 8 till 3.5 nm while reducing pH from 10 to 6. There has been established the dependence of the contour of luminescence spectra from pH values