http://sei.cmu.edu/feeds/tag/Updates on changes and additions to the SEI Blog for posts matching Verificationen-usMon, 13 Jan 2025 00:00:00 -0500https://www.sei.cmu.edu/blog/the-myth-of-machine-learning-reproducibility-and-randomness-for-acquisitions-and-testing-evaluation-verification-and-validation/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesA reproducibility challenge faces machine learning (ML) systems today. This post explores configurations that increase reproducibility and provides recommendations for these challenges.Andrew Mellinger, Daniel Justice, Marissa Connor, Shannon Gallagher, Tyler BrooksMon, 13 Jan 2025 00:00:00 -0500https://www.sei.cmu.edu/blog/the-myth-of-machine-learning-reproducibility-and-randomness-for-acquisitions-and-testing-evaluation-verification-and-validation/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesAcquisition TransformationTestingMachine LearningVerificationhttps://www.sei.cmu.edu/blog/incorporating-agile-principles-into-independent-verification-and-validation/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThis post discusses how Agile principles can work with independent verification and validation processes.Justin SmithMon, 24 Jun 2024 00:00:00 -0400https://www.sei.cmu.edu/blog/incorporating-agile-principles-into-independent-verification-and-validation/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesAgile Adoption in GovernmentVerificationhttps://www.sei.cmu.edu/blog/assuring-cyber-physical-systems-in-an-age-of-rising-autonomy/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThis post discusses research by the SEI and Georgia Tech to address a number of challenges related to the rising volume of sensor data in autonomous cyber-physical systems.Jerome HuguesMon, 16 Oct 2023 00:00:00 -0400https://www.sei.cmu.edu/blog/assuring-cyber-physical-systems-in-an-age-of-rising-autonomy/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesVerificationhttps://www.sei.cmu.edu/blog/verifying-software-with-timers-and-clocks-stacs/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesDiscover exploratory research to formally verify safety properties of sequential and concurrent STACs at the source-code level in this SEI Blog.Sagar Chaki, Dionisio de NizMon, 12 Dec 2016 00:00:00 -0500https://www.sei.cmu.edu/blog/verifying-software-with-timers-and-clocks-stacs/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesVerificationhttps://www.sei.cmu.edu/blog/verifying-distributed-adaptive-real-time-systems/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThis SEI Blog post explores high-assurance software in DART systems, and outlines the SEI's approach to meet safety requirements in dynamic environments.James Edmondson, Sagar ChakiMon, 10 Oct 2016 00:00:00 -0400https://www.sei.cmu.edu/blog/verifying-distributed-adaptive-real-time-systems/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesSoftware AssuranceArtificial Intelligence EngineeringModel CheckingVerificationAutonomy and Counter-AutonomyReal-Time SchedulingArtificial IntelligenceCyber-Physical Systemshttps://www.sei.cmu.edu/blog/verifying-evolving-software/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThis SEI Blog post explores the challenges of verifying evolving software and presents research efforts aimed at improving verification techniques and tools.Arie GurfinkelMon, 20 Oct 2014 00:00:00 -0400https://www.sei.cmu.edu/blog/verifying-evolving-software/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesModel CheckingStatic AnalysisVerification