บทความวิจัยพ.ศ. 2558Formal verification of contractual software architectures using SPIN พ.ศ. 2558 ติดต่อนักวิจัย แชร์ บันทึกคำสำคัญFormal verificationSoftware architecturesDesign-by-contractSPINงานวิจัยในหัวข้อใกล้เคียงA VNF modeling approach for verification purposes พ.ศ. 2562FPGA-Assisted Assertion-Based Verification Platform Universiti Teknologi Malaysia พ.ศ. 2563Integrity verification for an optimized cloud architecture พ.ศ. 2563Verifiable secure computation of linear fractional programming using certificate validation พ.ศ. 2563Framework for measuring the quality of software specification พ.ศ. 2560An enhancement of software requirements negotiation with rule-based reasoning: A conceptual model พ.ศ. 2559Proposal and Validation of Usability Model for Component Based Software System พ.ศ. 2560การพัฒนาระบบการยืนยันตัวตนโดยใช้เทคโนโลยีฟรีแวร์พรคิด อั้นขาว มหาวิทยาลัยเทคโนโลยีราชมงคลพระนคร พ.ศ. 2556A Novel Strategy for Formal Verification of Asynchronous Circuit Design in PAiD tool พ.ศ. 2558การเปรียบเทียบเครื่องมือตรวจพิสูจน์ระหว่างโปรแกรมรหัสเปิดกับโปรแกรมเชิงพาณิชย์ สำหรับการตรวจพิสูจน์หลักฐานดิจิทัวรธัช วิชชุวาณิชย์ โรงเรียนนายร้อยตำรวจ พ.ศ. 2562