BOOGIE是什么意思

boogie英 ['buːgɪ] 美 ['bʊɡi] n. 黑人vi. 摆动身体（过去式boogied，过去分词boogied，现在分词boogying，第三人称单数boogies）[ 过去式 boogied 过去分词 boogied 现在分词 boogieing ]双语例句：1.I love this song, let’s boogie. 我很喜欢这首歌，让我们跳舞吧。 in hand with Spec# is Boogie, an intermediate language for codeverification. 与Spec#配套的有Boogie，一种用于代码验证的中间语言。ie is used to verify the assembly language against a specification andguarantees safe interaction with the TAL code and hardware. 它还使用Boogie根据规范来验证汇编语言，并确保它可以与TAL代码和硬件安全地交互。