Deductive Verification of Telecommunication Systems Written in C

Automatic Control and Computer Sciences - United States
doi 10.3103/s0146411613070183
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Allerton Press

Related search

Deductive Software Verification

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2011English

Towards Formal Verification of TLS Network Packet Processing Written in C

2013English

Telecommunication Systems

2017English

Deductive Verification of Advanced Out-Of-Order Microprocessors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Automating Deductive Verification for Weak-Memory Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Family-Based Deductive Verification of Software Product Lines

2012English

Deductive Systems for BigData Integration

Journal of Economic Development, Environment and People
2018English

Minimal Deductive Systems for RDF

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

The Why/Krakatoa/Caduceus Platform for Deductive Program Verification

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy