Specification and proof of high-level functional properties of bit-level programs

C Fumex, C Dross, J Gerlach, C Marché - NASA Formal Methods …, 2016 - Springer
In a computer program, basic functionalities may be implemented using bit-wise operations.
To formally specify the expected behavior of such a low-level program, it is desirable that the …
被引用次数：6 相关文章

Specification and Proof of High-Level Functional Properties of Bit-Level Programs

C Fumex, C Dross, J Gerlach… - … , MN, USA, June 7-9, 2016 …, 2016 - books.google.com
In a computer program, basic functionalities may be implemented using bit-wise operations.
To formally specify the expected behavior of such a low-level program, it is desirable that the …

Specification and Proof of High-Level Functional Properties of Bit-Level Programs

C Fumex, C Dross, J Gerlach, C Marché - NASA Formal methods, 2016 - hal.science
In a computer program, basic functionalities may be implemented using bit-wise operations.
To formally specify the expected behavior of such a low-level program, it is desirable that the …

Specification and proof of high-level functional properties of bit-level programs

C Fumex, C Dross, J Gerlach, C Marché - 2016 - publica.fraunhofer.de
In a computer program, basic functionalities may be implemented using bit-wise operations.
To formally specify the expected behavior of such a low-level program, it is desirable that the …

Specification and Proof of High-Level Functional Properties of Bit-Level Programs

C Fumex, C Dross, J Gerlach, C Marché - Proceedings of the 8th …, 2016 - dl.acm.org
In a computer program, basic functionalities may be implemented using bit-wise operations.
To formally specify the expected behavior of such a low-level program, it is desirable that the …

Specification and Proof of High-Level Functional Properties of Bit-Level Programs

C Fumex, C Dross, J Gerlach, C Marché - NASA Formal methods, 2016 - inria.hal.science
In a computer program, basic functionalities may be implemented using bit-wise operations.
To formally specify the expected behavior of such a low-level program, it is desirable that the …

Specification and Proof of High-Level Functional Properties of Bit-Level Programs

C Fumex, C Dross, J Gerlach, C Marché - Formal Methods - Springer
In a computer program, basic functionalities may be implemented using bit-wise operations.
To formally specify the expected behavior of such a low-level program, it is desirable that the …