Kratos – A Software Model Checker for SystemC-Reference-Cited by-同舟云学术

Kratos – A Software Model Checker for SystemC

Published:2011 Issue: Volume: Page:310-316
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Cimatti Alessandro,Griggio Alberto,Micheli Andrea,Narasamdya Iman,Roveri Marco

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-22110-1_24

Reference24 articles.

1. Beyer, D., Cimatti, A., Griggio, A., Keremoglu, M.E., Sebastiani, R.: Software model checking via large-block encoding. In: FMCAD, pp. 25–32. IEEE, Los Alamitos (2009)

2. Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: The software model checker Blast. STTT 9(5-6), 505–525 (2007)

3. Beyer, D., Keremoglu, M.E., Wendler, P.: Predicate Abstraction with Adjustable-Block Encoding. In: FMCAD, pp. 189–197. IEEE, Los Alamitos (2010)

4. Lecture Notes in Computer Science;A. Biere,1999

5. Lecture Notes in Computer Science;R. Bruttomesso,2008

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

1. Deductive Verification of Parameterized Embedded Systems Modeled in SystemC;Lecture Notes in Computer Science;2023-12-30

2. Safe Integration of Learning in SystemC using Timed Contracts and Model Checking;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21

3. COMPASTA = COMPASS + TASTE;CEAS Space Journal;2023-08-09

4. EVA: a Tool for the Compositional Verification of AUTOSAR Models;Tools and Algorithms for the Construction and Analysis of Systems;2023

5. Kratos2: An SMT-Based Model Checker for Imperative Programs;Computer Aided Verification;2023