| |
Reviews about "Software/Program Verification (D.2.4)":
|
Metamorphic testing: a review of challenges and opportunities
Chen T., Kuo F., Liu H., Poon P., Towey D., Tse T., Zhou Z. ACM Computing Surveys 51(1): 1-27, 2018. Type: Article
|
 Formal methods: an appetizer
Nielson F., Nielson H., Springer International Publishing, New York, NY, 2019. 162 pp. Type: Book (978-3-030051-55-6)
|
Modular product programs
Eilers M., Müller P., Hitz S. ACM Transactions on Programming Languages and Systems 42(1): 1-37, 2019. Type: Article
|
Verification methods for the computationally complete symbolic attacker based on indistinguishability
Bana G., Chadha R., Eeralla A., Okada M. ACM Transactions on Computational Logic 21(1): 1-44, 2019. Type: Article
|
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems
Cauchi N., Laurenti L., Lahijanian M., Abate A., Kwiatkowska M., Cardelli L. HSCC 2019 (Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Montreal, Canada, Apr 16-18, 2019) 240-251, 2019. Type: Proceedings
|
Handbook of model checking
Clarke E., Henzinger T., Veith H., Bloem R., Springer International Publishing, New York, NY, 2018. 1210 pp. Type: Book (978-3-319105-74-1)
|
A generalized digraph model for expressing dependencies
Fradet P., Guo X., Monin J., Quinton S. RTNS 2018 (Proceedings of the 26th International Conference on Real-Time Networks and Systems, Chasseneuil-du-Poitou, France, Oct 10-12, 2018) 72-82, 2018. Type: Proceedings
|
more...
|
|
|
|
