Italo R. Oliveira

Learn More
Verification of embedded systems has become increasingly important in many industrial domains. Safety-critical embedded systems, such as those developed in aerospace industry, are regularly subject to automated formal verification process. In this paper we extend our tool integration chain of parallel, explicit-state LTL model checker DIVINE and Matlab(More)
This study aims developing and evaluate a protocol of semen cryopreservation of the lane snapper Lutjanus synagris. Firstly, sperm motility rate, motility time, density and spermatocrit were appraised to characterize the sperm quality of the lane snapper. The effect of three extenders with distinct ionic compositions and pH values combined with seven(More)
  • 1