Formal specification and verification of the C\(\#\) thread model

DOI10.1016/j.tcs.2005.06.028zbMath1077.68054OpenAlexW2084781194MaRDI QIDQ2571209

Robert F. Stärk

Publication date: 1 November 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.06.028

zbMATH Keywords

abstract state machinesmemory consistency modelsthreadssemantics of programming languages.NETC\(\#\)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Ambient abstract state machines with applications ⋮ Towards proving type safety of .NET CIL ⋮ Towards proving type safety of \(\mathrm{C}^{\#}\) ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ Towards Efficient Verification of Systems with Dynamic Process Creation

Uses Software

• LPTP
• ASMKeY

Cites Work

• Unnamed Item
• Unnamed Item
• A logic for secure memory access of abstract state machines
• The theoretical foundations of LPTP (a logic program theorem prover)
• Abstract State Machines
• Evolving Algebras 1993: Lipari Guide

This page was built for publication: Formal specification and verification of the C\(\#\) thread model