Author:
Peleska Jan,Vorobev Elena,Lapschies Florian
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Brillout, A., Kroening, D., Wahl, T.: Mixed Abstractions for Floating-Point Arithmetic. In: Proceedings of FMCAD 2009, pp. 69–76. IEEE, Los Alamitos (2009)
2. Brummayer, R.: Efficient SMT Solving for Bit-Vectors and the Extensional Theory of Arrays. Ph.D. thesis, Johannes Kepler University Linz, Austria (November 2009)
3. Lecture Notes in Computer Science;R.E. Bryant,2007
4. Cousot, P.: Abstract interpretation: Theory and practice (April 11-13, 2000)
5. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 238–252. ACM Press, New York (1977)
Cited by
54 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hierarchical Resource Orchestration Framework for Real-time Containers;ACM Transactions on Embedded Computing Systems;2024-01-10
2. Distributed SMT Solving Based on Dynamic Variable-Level Partitioning;Lecture Notes in Computer Science;2024
3. PSMT: Satisfiability Modulo Theories Meets Probability Distribution;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
4. A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation;2023 IEEE 21st International Conference on Industrial Informatics (INDIN);2023-07-18
5. Challenges in testing of cyclic systems;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14