Sequential Generation of Structured Arrays and Its Deductive Verification-Reference-Cited by-同舟云学术

Sequential Generation of Structured Arrays and Its Deductive Verification

Published:2015 Issue: Volume: Page:109-128
ISSN:0302-9743
Container-title:Tests and Proofs
language:
Short-container-title:

Author:

Genestier Richard,Giorgetti Alain,Petiot Guillaume

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-21215-9_7

Reference23 articles.

1. Arndt, J.: Matters Computational - Ideas, Algorithms, Source Code [The fxtbook] (2010). http://www.jjj.de

2. Baudin, P., Cuoq, P., Filliâtre, J.C., Marché, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI/ISO C Specification Language. http://frama-c.com/acsl.html

3. Bobot, F., Filliâtre, J.C., Marché, C., Melquiond, G., Paskevich, A.: The Why3 platform 0.81 (March 2013). https://hal.inria.fr/hal-00822856

4. Lecture Notes in Computer Science;L Bulwahn,2012

5. Lecture Notes in Computer Science;F Butelle,2010

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

1. Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems;Lecture Notes in Computer Science;2024-09-13

2. Towards random and enumerative testing for OCaml and WhyML properties;Software Quality Journal;2022-02-22

3. Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems;Automated Technology for Verification and Analysis;2022

4. Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs;Testing Software and Systems;2019

5. Tests and proofs for custom data generators;Formal Aspects of Computing;2018-11