Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
Discussion
View history
Purge
English
Log in
No label defined
(Q3384903)
From MaRDI portal
Jump to:
navigation
,
search
scientific article
Language
Label
Description
Also known as
English
No label defined
scientific article
Statements
instance of
scholarly article
0 references
author
Emanuele De Angelis
0 references
Fabio Fioravanti
0 references
Adrián Palacios
0 references
Alberto Pettorossi
0 references
Maurizio Proietti
0 references
publication date
17 December 2021
0 references
full work available at URL
https://arxiv.org/abs/1809.04770
0 references
http://eptcs.web.cse.unsw.edu.au/paper.cgi?HCVS2018.4
0 references
MaRDI profile type
MaRDI publication profile
0 references
cites work
Optimal dynamic partial order reduction
0 references
Verifying Array Programs by Transforming Verification Conditions
0 references
A Rule-based Verification Strategy for Array Manipulating Programs
0 references
Predicate Pairing for program verification
0 references
Program Verification using Constraint Handling Rules and Array Constraint Generalizations*
0 references
Program Development in Computational Logic
0 references
An iterative approach to precondition inference using constrained Horn clauses
0 references
Q3127246
0 references
Identifiers
Mathematics Subject Classification ID
03B70
0 references
68Q60
0 references
zbMATH DE Number
7447758
0 references
Sitelinks
Mathematics
(1 entry)
mardi
Publication:3384903
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Concept URI
