R. Banach
M. Poppleton
2000
Retrenchment, Refinement and Simulation
ZB: Formal Specifications and Development in Z and B
Lecture Notes in Computer Science
Springer
304–323
10.1007/3-540-44525-0_18
Ch. Brink
W. Kahl
G. Schmidt
1997
Relational Methods in Computer Science
Springer Verlag
10.1007/978-3-7091-6510-2
K. Chaterjee
Vinayak S. Prabhu
2015
Quantitative Temporal Simulation and Refinement Distancess for Timed Systems
IEEE Transactions for Automatic Control
60
9
2291–2306
10.1109/TAC.2015.2404612
J. V. Deshmukh
R. Majumdar
V. Prabhu
2015
Quantifying Conformance Using the Skorokhod Metric
Proceedings, CAV: Computer Aided Verification
Springer Verlag
234–250
10.1007/978-3-319-21668-3_14
E.W. Dijkstra
1976
A Discipline of Programming
Prentice Hall
G. Dromey
1983
Program Development by Inductive Stepwise Refinement
Technical Report
Working Paper 83-11
University of Wollongong, Australia
10.1002/spe.4380150102
A. Ghosal
M. Jurdzinski
R. Majumdar
Vinayak Prabhu
2005
Approximate Refinement for Hybrid Systems
Technical Report
University of California at Berkeley
D. Gries
1981
The Science of programming
Springer Verlag
10.1007/978-1-4612-5983-1
E.C.R. Hehner
1992
A Practical Theory of Programming
Prentice Hall
10.1007/978-1-4419-8596-5
C.A.R. Hoare
1969
An axiomatic basis for Computer programming
Communications of the ACM
12
10
576 – 583
10.1145/363235.363259
S. K. Lahiri
K. L. McMillan
R. Sharma
C. Hawblitzel
2013
Differential Assertion Checking
Proceedings, ESEC/ SIGSOFT FSE
345–455
10.1145/2491411.2491452
F. Logozzo
T. Ball
2012
Modular and Verified Automatic Program Repair
Proceedings, OOPSLA
133–146
10.1145/2384616.2384626
F. Logozzo
S. Lahiri
M. Faehndrich
S. Blackshear
2014
Verification Modulo Versions: Towards Usable Verification
Proceedings, PLDI
32
10.1145/2594291.2594326
Z. Manna
1974
A Mathematical Theory of Computation
McGraw Hill
H.D. Mills
V.R. Basili
J.D. Gannon
D.R. Hamlet
1986
Structured Programming: A Mathematical Approach
Allyn and Bacon
Boston, Ma