Springer Science and Business Media LLC

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Probabilistic black-box reachability checking (extended version)
Springer Science and Business Media LLC - Tập 54 - Trang 416-448 - 2019
Bernhard K. Aichernig, Martin Tappler
Network Event Recognition
Springer Science and Business Media LLC - Tập 27 - Trang 213-251 - 2005
Karthikeyan Bhargavan, Carl A. Gunter
Coverage-guided test generation for continuous and hybrid systems
Springer Science and Business Media LLC - Tập 34 - Trang 183-213 - 2009
Thao Dang, Tarik Nahhal
Performability assessment by model checking of Markov reward models
Springer Science and Business Media LLC - Tập 36 - Trang 1-36 - 2010
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
Springer Science and Business Media LLC - Tập 20 - Trang 91-106 - 2002
Ruben A. Gamboa
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs
Springer Science and Business Media LLC - - 2021
Thomas Pani, Georg Weissenbacher, Florian Zuleger
SMT-based verification of program changes through summary repair
Springer Science and Business Media LLC - Tập 60 - Trang 350-380 - 2023
Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
Isla: tích hợp ngữ nghĩa ISA quy mô đầy đủ và các mô hình đồng thời định lý (phiên bản mở rộng) Dịch bởi AI
Springer Science and Business Media LLC - - Trang 1-24 - 2023
Alasdair Armstrong, Brian Campbell, Ben Simner, Christopher Pulte, Peter Sewell
Vacuity in practice: temporal antecedent failure
Springer Science and Business Media LLC - Tập 46 - Trang 81-104 - 2015
Shoham Ben-David, Fady Copty, Dana Fisman, Sitvanit Ruah
Achieving high coverage in hardware equivalence checking via concolic verification
Springer Science and Business Media LLC - Tập 60 - Trang 329-349 - 2023
Pritam Roy, Sagar Chaki
Tổng số: 485   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10