Proof and refinement
Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach
9
Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B
9
Mixed Integer-Real Mathematical Analysis, and Lattice Refinement Approximation and Computation Paradigm
63
Inductive representation, proofs and refinement of pointer structures
220
Semantics and implementation of a refinement relation for behavioural models
16
On Tate’s refinement for a conjecture of Gross and its generalization
31
Proof certificates in PVS
8
Translating Between Implicit and Explicit Versions of Proof
20
Software architectures: multi-scale refinement
9
A constructive and elementary proof of Reny's theorem
9
Proof Trick: Small Inversions
12
Formal Security Proof of CMAC and Its Variants
15
Cell refinement of CsPbBr3 perovskite nanoparticles and thin films
9
Nearwell local space and time refinement in reservoir simulation
22
Conceptual (and hence mathematical) explanation, conceptual grounding and proof
32
Proof Normalization Modulo
44
Proof of Behavior
6
Denotational proof languages
421
Strategy-proof preference aggregation
24
Generalized Proof Number Search
8