2 papers
cs.LO2023★ 3 cited
Model Checking Time Window Temporal Logic for Hyperproperties
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
Hyperproperties extend trace properties to express properties of sets of traces, and they are increasingly popular in specifying various security and performance-related properties…
cs.LO2022
Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach
Luan V. Nguyen, Wesam Haddad, Taylor T. Johnson
Satisfiability Modulo Theories (SMT) solvers have been successfully applied to solve many problems in formal verification such as bounded model checking (BMC) for many classes of s…