Terminal satisfiability in GSTE
From MaRDI portal
Publication:2336669
DOI10.1155/2014/725275zbMath1442.68111OpenAlexW2084079064WikidataQ59052031 ScholiaQ59052031MaRDI QIDQ2336669
Yongsheng Xu, Wensheng Guo, Zhengwei Chang, Desheng Zheng, Guo-wu Yang
Publication date: 19 November 2019
Published in: Journal of Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1155/2014/725275
Uses Software
Cites Work
- Symbolic model checking: \(10^{20}\) states and beyond
- Bayesian statistical model checking with application to Simulink/Stateflow verification
- Statistical Model Checking for Cyber-Physical Systems
- Computer Aided Verification
- Correct Hardware Design and Verification Methods
- Bounded model checking using satisfiability solving
- Unnamed Item
- Unnamed Item
This page was built for publication: Terminal satisfiability in GSTE