Verified Program Code Execution System Prototype

Proceedings of the Institute for System Programming of the RAS
doi 10.15514/ispras-2017-29(6)-1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute for System Programming of the Russian Academy of Sciences

Related search

Verified Validation of Program Slicing

2015English

Integration of Asterisk IP-PBX With ESP32 Embedded System for Remote Code Execution

Proceedings
2019English

Prototype Real-Time Monitor: Ada Code.

1987English

Linear Capabilities for Fully Abstract Compilation of Separation-Logic-Verified Code

Proceedings of the ACM on Programming Languages
2019English

Author Program Code

Journal of the American Society for Mass Spectrometry
Structural BiologySpectroscopy
1995English

Idiosyncratic Signatures for Authenticated Execution of Management Code

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

1094 Plastics in Building Code (Materials and Execution)

Transactions of the Architectural Institute of Japan Summaries of Technical Papers
1967English

Profile-Driven Code Execution for Low Power Dissipation

English

Toward a Verified Relational Database Management System

ACM SIGPLAN Notices
Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy