Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter
Luo, Weilin, Chen, Polong, Wan, Hai, Zhong, Hongzhen, Cai, Shaowei, Xiao, Zhanhao
Published in The Journal of systems and software (01.07.2024)
Published in The Journal of systems and software (01.07.2024)
Get full text
Journal Article
SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning
Luo, Weilin, Zheng, Yuhang, Ye, Rongzhen, Wan, Hai, Du, Jianfeng, Liang, Pingjia, Chen, Polong
Published in 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) (11.09.2023)
Published in 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) (11.09.2023)
Get full text
Conference Proceeding