實驗室介紹：
該實驗室始建於2006年，2010年通過科技廳組織的專家組評定，成為自治區重點實驗室。實驗室依託桂林電子科技大學，主要由計算機科學與工程學院負責承建，是計算機科學與技術廣西重點學科建設的重要支撐單位。
現任實驗室主任為古天龍教授，學術委員會主任為國家傑出青年基金獲得者南京大學徐寶文教授。實驗室以新世紀國家百千萬人才古天龍教授為主要學術帶頭人，有一支學風嚴謹、研究深入、瞄準國際前沿、以發展我國計算機事業為己任的科學研究隊伍。實驗室現有人員43名，教授22名，其中博士生導師3名，實驗室人員90%具有博士學位，以35-45歲之間的中青年科研人員為主。
實驗室自建設以來，先後承擔了多項國家級項目，取得了一批高水平的學術成果。近三年來承擔了國家“863”計畫項目2項，國家自然基金項目12項，國防科研項目3項，其它國家部委項目3項，國家重點實驗室項目1項，廣西科學基金項目和廣西科技攻關項目18項，其它課題120多項, 科研經費總計2000多萬元；獲省部級科技獎3項，其它重要獎勵6項，申請發明專利4項，實用新型專利5項，軟體著作權27項；出版學術專著5部，教材10餘部。
高可信軟體是“國家中長期科技發展規劃”中的一個關鍵技術領域，國際上正在爭先展開研究。實驗室制定了科學的發展規劃，完善的管理制度，常年設立開放研究基金，歡迎有志於可信軟體理論及技術研究的學者到實驗室進行訪問研究，申請實驗室開放課題基金。
代表性基金項目
研項目數量及科研經費方面穩步增長，各類科研經費2000多萬元，實現了較好的經濟和社會效益。
科研項目層次和科研水平有很大提高，承擔國家“863”計畫2項，國家自然基金共12項，國防科研3項，廣西科學基金和廣西科技攻關18項，有橫向課題120多項。
[1]“面向裝配規劃的領域知識表示及推理研究”（國家自然科學基金），2010.1-2012.12
[2]“基於描述邏輯和模型檢測的行動理論研究”（國家自然科學基金），2010.1-2012.12
[3]“普適計算環境下高效的分散式安全性與陷私性問題研究”（國家自然科學基金），2010.1-2012.12
[4]“正負權重網路的動力學研究”（國家自然科學基金），2010.1-2012.12
[5]“無線感測器網路中脈衝同步技術研究”（國家自然科學基金），2010.1-2012.12
[6]“基於抽象和符號技術的並發軟體驗證研究”（國家自然科學基金），2011.1-2013.12
[7]“基於社會網路和規範的自治線上社區方法及關鍵技術研究”（國家自然科學基金），2011.1-2013.12
[8]“基於信任管理的無線感測器網路高可靠覆蓋技術研究”（國家自然科學基金），2011.1-2013.12
[9]“P2P流媒體點播服務中關鍵技術的研究”（國家自然科學基金），2011.1-2013.12
[10]“基於隱式曲面的三維重建關鍵技術研究”（國家自然科學基金），2011.1-2013.12
[11]“快速收斂最佳化算法及其在特殊工程問題中的套用”（國家自然科學基金），2011.1-2013.12
[12]“裝配序列生成的符號技術研究”（國家自然科學基金），2006.1-2008.12
[13]“基於類Lyapunov方法非線性系統全維、降維觀測器研究”（國家自然科學基金），2006.1-2008.12
[14]“非線性規劃約束變尺度算法的新研究及其在均衡約束最佳化中的套用”（國家自然科學基金），2006.1-2008.12
[15]“基於依賴公式抽象的軟體模型檢測研究”（國家自然科學基金），2007.1-2009.12
[16]“基於排隊論的無線感測器網路QoS研究架構”（國家自然科學基金），2008.1-2010.12
[17]“複雜定製產品開發設計關鍵技術及產品套用研究”（國家自然科學基金），2008.1-2010.12
[18]“基於時態認知邏輯的特徵互動無界模型檢測”（國家自然科學基金），2008.1-2010.12
[19]“質量均一可控的天然產物有效組分高效集成化製備新方法研究”（國家自然科學基金），2009.1-2011.12
[20]“基於抽象解釋的邏輯程式驗證研究”（國家自然科學基金），2009.1-2011.12
[21]“平面微分系統的中心問題與極限環分支”（國家自然科學基金），2009.1-2010.12
[22]“網路消費者偏好與品牌選擇模型研究”（國家自然科學基金），2009.1-2011.12
[23]“傳輸理論與隨機服務系統中矩陣問題及其有效算法研究”（國家自然科學基金），2009.1-2011.12
[24]“線上近紅外成分分析技術”（863子項目），2009.9-2011.3
[25]“基於元模型的複雜產品結構自適應配置方法研究”（863項目子課題），2006.1-2008.12
