Publisher
Springer International Publishing
Reference17 articles.
1. Lecture Notes in Computer Science;A Biere,1999
2. Ciardo, G., Jones, R.L., Miner, A.S., Siminiceanu, R.: Logical and stochastic modeling with SMART. Perf. Eval. 63, 578–608 (2006)
3. Ciardo, G., Marmorstein, R., Siminiceanu, R.: The saturation algorithm for symbolic state space exploration. Software Tools for Technology Transfer 8(1), 4–25 (2006)
4. Lecture Notes in Computer Science;G Ciardo,2002
5. Lecture Notes in Computer Science;G Ciardo,2005
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. starMC: an automata based CTL* model checker;PeerJ Computer Science;2022-02-24
2. Extracting Counterexamples from Transitive-Closure-Based Model Checking;2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE);2019-05
3. Producing Explanations for Rich Logics;Formal Methods;2018