Weโre thrilled to share that ๐๐๐ฆ๐ฒ๐๐ ๐ (a University of Manchester spinout) has secured ๐ญ๐๐ ๐ฝ๐น๐ฎ๐ฐ๐ฒ and ๐ฎ ๐๐ผ๐น๐ฑ ๐ ๐ฒ๐ฑ๐ฎ๐น at ๐ง๐ฒ๐๐-๐๐ผ๐บ๐ฝ ๐ฎ๐ฌ๐ฎ๐ฑ, the premier international competition on automated software testing, held as part of the ๐๐๐ฟ๐ผ๐ฝ๐ฒ๐ฎ๐ป ๐๐ผ๐ถ๐ป๐ ๐๐ผ๐ป๐ณ๐ฒ๐ฟ๐ฒ๐ป๐ฐ๐ฒ๐ ๐ผ๐ป ๐ง๐ต๐ฒ๐ผ๐ฟ๐ ๐ฎ๐ป๐ฑ ๐ฃ๐ฟ๐ฎ๐ฐ๐๐ถ๐ฐ๐ฒ ๐ผ๐ณ ๐ฆ๐ผ๐ณ๐๐๐ฎ๐ฟ๐ฒ (๐๐ง๐๐ฃ๐ฆ).
๐๐๐ฆ๐ฒ๐๐ ๐โ๐ ๐ช๐ถ๐ป๐ป๐ถ๐ป๐ด ๐๐ฑ๐ด๐ฒ: ๐น Built on ๐๐น๐ฎ๐ป๐ด ๐๐ผ๐ผ๐น๐ถ๐ป๐ด ๐ถ๐ป๐ณ๐ฟ๐ฎ๐๐๐ฟ๐๐ฐ๐๐๐ฟ๐ฒ, it employs a ๐ต๐๐ฏ๐ฟ๐ถ๐ฑ ๐ฎ๐ฝ๐ฝ๐ฟ๐ผ๐ฎ๐ฐ๐ตโcombining one ๐๐ผ๐๐ป๐ฑ๐ฒ๐ฑ ๐ ๐ผ๐ฑ๐ฒ๐น ๐๐ต๐ฒ๐ฐ๐ธ๐ถ๐ป๐ด (๐๐ ๐) engine with ๐๐๐ผ ๐ณ๐๐๐๐ถ๐ป๐ด ๐ฒ๐ป๐ด๐ถ๐ป๐ฒ๐ for advanced reachability analysis. ๐น A ๐ฑ๐ฒ๐ฑ๐ถ๐ฐ๐ฎ๐๐ฒ๐ฑ ๐๐ฟ๐ฎ๐ฐ๐ฒ๐ฟ efficiently coordinates these engines, maximizing precision and performance.
๐๐ ๐ฐ๐ฒ๐น๐น๐ฒ๐ป๐ฐ๐ฒ ๐ถ๐ป ๐๐๐๐ผ๐บ๐ฎ๐๐ฒ๐ฑ ๐ฆ๐ผ๐ณ๐๐๐ฎ๐ฟ๐ฒ ๐ง๐ฒ๐๐๐ถ๐ป๐ด: Since ๐ฎ๐ฌ๐ฎ๐ญ, FuSeBMC has consistently participated in the competition, obtaining an ๐ถ๐ป๐ฐ๐ฟ๐ฒ๐ฑ๐ถ๐ฏ๐น๐ฒ ๐ฎ๐ญ ๐ถ๐ป๐๐ฒ๐ฟ๐ป๐ฎ๐๐ถ๐ผ๐ป๐ฎ๐น ๐บ๐ฒ๐ฑ๐ฎ๐น๐!
๐๐ฟ๐ถ๐๐ถ๐ป๐ด ๐๐ป๐ป๐ผ๐๐ฎ๐๐ถ๐ผ๐ป ๐ถ๐ป ๐๐๐ฏ๐ฒ๐ฟ๐๐ฒ๐ฐ๐๐ฟ๐ถ๐๐: FuSeBMC is a key technology at VeriBee, our spinout from The University of Manchester, pioneering ๐๐-๐ฑ๐ฟ๐ถ๐๐ฒ๐ป ๐๐ผ๐น๐๐๐ถ๐ผ๐ป๐ for ๐ฎ๐๐๐ผ๐บ๐ฎ๐๐ฒ๐ฑ ๐๐๐น๐ป๐ฒ๐ฟ๐ฎ๐ฏ๐ถ๐น๐ถ๐๐ ๐ฑ๐ฒ๐๐ฒ๐ฐ๐๐ถ๐ผ๐ป ๐ฎ๐ป๐ฑ ๐๐ฒ๐ฐ๐๐ฟ๐ฒ ๐๐ผ๐ณ๐๐๐ฎ๐ฟ๐ฒ ๐ฑ๐ฒ๐๐ฒ๐น๐ผ๐ฝ๐บ๐ฒ๐ป๐.
This achievement reinforces the impact of bridging ๐ฐ๐๐๐๐ถ๐ป๐ด-๐ฒ๐ฑ๐ด๐ฒ ๐ฟ๐ฒ๐๐ฒ๐ฎ๐ฟ๐ฐ๐ต with ๐ฟ๐ฒ๐ฎ๐น-๐๐ผ๐ฟ๐น๐ฑ ๐๐ฒ๐ฐ๐๐ฟ๐ถ๐๐ ๐ฎ๐ฝ๐ฝ๐น๐ถ๐ฐ๐ฎ๐๐ถ๐ผ๐ป๐. Weโre excited to keep pushing the boundaries of ๐๐ผ๐ณ๐๐๐ฎ๐ฟ๐ฒ ๐๐ฒ๐๐๐ถ๐ป๐ด and ๐๐-๐ฑ๐ฟ๐ถ๐๐ฒ๐ป ๐๐ฒ๐ฐ๐๐ฟ๐ถ๐๐