Proceedings of the 6th Workshop on Formal Integrated Development Environment

@article{Proena2021ProceedingsOT,
  title={Proceedings of the 6th Workshop on Formal Integrated Development Environment},
  author={Jos{\'e} Proença and Andrei Paskevich},
  journal={ArXiv},
  year={2021},
  volume={abs/2108.02369}
}
This volume contains the proceedings of F-IDE 2021, the sixth international workshop on Formal Integrated Development Environment, which was held online on May 24-25, 2021, as part of NFM'21, the 13th NASA Formal Methods Symposium. High levels of safety, security and privacy standards require the use of formal methods to specify and develop compliant software (sub)systems. Any standard comes with an assessment process, which requires a complete documentation of the application in order to ease… Expand