Typestates Specification and Verification in Frama-C

JOURNAL ARTICLE

Year: 2025 Pages: 146-156

DOI: 10.1109/formalise66629.2025.00021

Abstract

Version auteur

Keywords:

Computer science Programming language

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.18

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Parallel Computing and Optimization Techniques

Physical Sciences → Computer Science → Hardware and Architecture

Distributed systems and fault tolerance

Physical Sciences → Computer Science → Computer Networks and Communications

Logic, programming, and type systems

Physical Sciences → Computer Science → Artificial Intelligence