José Miguel Faria

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This work aimed to characterize the re-induction of desiccation tolerance (DT) in germinated seeds, using polyethylene glycol (PEG 8000). Cell changes were investigated through cytological assays (cell viability and transmission electronic microscopy) as well as DNA integrity during loss and re-establishment of DT. The loss of DT was characterized by drying(More)
This paper describes a tool-supported method for the formal verification of Ada programs. It presents ATOS, a tool that automatically extracts a model in SPIN from an Ada Program, together with a set of properties that state the correctness of the model. ATOS is also capable of extracting properties from user-provided annotations in Ada programs, inspired(More)
  • 1