Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds):Handbook of model checking-Reference-Cited by-同舟云学术

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds):Handbook of model checking

Published:2019-08 Issue:4 Volume:31 Page:455-456
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Konnov Igor¹

Affiliation:

1. INRIA Nancy—Grand Est, 54000, Nancy, France

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s00165-019-00486-z.pdf

Reference6 articles.

1. Biere A Heule M van Maaren H Walsh T (eds) (2009) Handbook of satisfiability volume 185 of Frontiers in artificial intelligence and applications. IOS Press Amsterdam

2. Bloem R Jacobs S Khalimov A Konnov I Rubin S Veith H Widder J (2015) Decidability of parameterized verification. Synthesis Lectures on distributed computing theory. Morgan & Claypool Publishers San Rafael

3. Model Checking

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. LSMAK-IOV: Lightweight Secure Mutual AKE Scheme in Fog-Based IoV;2024 10th International Conference on Artificial Intelligence and Robotics (QICAR);2024-02-29

2. Picky CDCL: SMT-Solving with Flexible Literal Selection;Lecture Notes in Computer Science;2024

3. Speeding up SMT Solving via Compiler Optimization;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

4. Software engineering intelligent education platform based on LSTM training model;6th International Workshop on Advanced Algorithms and Control Engineering (IWAACE 2022);2022-10-20

5. CE-SKE: cost-effective secure key exchange scheme in Fog Federation;Iran Journal of Computer Science;2021-04-02