Related links
Steel: Proof-oriented Programming in a Dependently
In this paper, we aim to design a proof-oriented programming language based on SteelCore (Swamy et al. 2020), a recent concurrent separation logic (CSL) (O
Learn more
Using Pit to improve security in low-level programs
Pedersen L (2008) Pit programming language. 25. Pedersen L, Reza H (2006) A formal specification of a programming language: design of Pit
Learn more
FORMAL METHODS SPECIFICATION AND ANALYSIS
This volume presents technical issues involved in applying mathematical techniques known as Formal Methods to specify and analytically verify aerospace.
Learn more