Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Nagasamudram, Ramana"'
In relational verification, judicious alignment of computational steps facilitates proof of relations between programs using simple relational assertions. Relational Hoare logics (RHL) provide compositional rules that embody various alignments of exe
Externí odkaz:
http://arxiv.org/abs/2307.10045
Verifying relations between programs arises as a task in various verification contexts such as optimizing transformations, relating new versions of programs with older versions (regression verification), and noninterference. However, relational verif
Externí odkaz:
http://arxiv.org/abs/2303.14314
In relational verification, judicious alignment of computational steps facilitates proof of relations between programs using simple relational assertions. Relational Hoare logics (RHL) provide compositional rules that embody various alignments. Seemi
Externí odkaz:
http://arxiv.org/abs/2212.10338
Autor:
Antonopoulos, Timos, Koskinen, Eric, Le, Ton Chanh, Nagasamudram, Ramana, Naumann, David A., Ngo, Minh
Relational verification encompasses information flow security, regression verification, translation validation for compilers, and more. Effective alignment of the programs and computations to be related facilitates use of simpler relational invariant
Externí odkaz:
http://arxiv.org/abs/2202.04278
Relational Hoare logics (RHL) provide rules for reasoning about relations between programs. Several RHLs include a rule we call sequential product that infers a relational correctness judgment from judgments of ordinary Hoare logic (HL). Other rules
Externí odkaz:
http://arxiv.org/abs/2101.11730
Dedicated to Tony Hoare. In a paper published in 1972 Hoare articulated the fundamental notions of hiding invariants and simulations. Hiding: invariants on encapsulated data representations need not be mentioned in specifications that comprise the AP
Externí odkaz:
http://arxiv.org/abs/1910.14560
Autor:
BANERJEE, ANINDYA1 anindya.banerjee@imdea.org, NAGASAMUDRAM, RAMANA2 rnagasam@stevens.edu, NAUMANN, DAVID2 naumann@cs.stevens.edu, NIKOUEI, MOHAMMAD2 snikouei@stevens.edu
Publikováno v:
ACM Transactions on Programming Languages & Systems. Dec2022, Vol. 44 Issue 4, p1-135. 135p.
