Hoare logic
Hoare triple
sublogic
hypothesizer
pansystemic
shakedown
control system
foreground processing
foregrounding
monitor program
monitoring program
reliabilism
supervisory program
thrash
nomothetics
executive program
name-based type system
nominal type system
supervisor
logic
logical system
systematization
mode
figuring out
system of logic
pseudoproper
documentation
body
conditional
software documentation
checker
atomicity
sortation
reverse engineering
clausifier
multifractal
sortitive
state
KBS
pluripartidism
compile-time
hook
fidelity
predicate logic
Common Language Specification
implementational
nominative type system
monadic second-order logic
systematizing
mission-critical
redundancy check
-bot
polysystemic
symbolic logic
odd-even check
permissioning
big bang
logic programming
parity check
dynamic typing
executor
emulation
cybermind
regimentable
programming
material logic
deterministic
Davis-Putnam algorithm
centralism
paraconsistent logic
grammar
eigensystem
orderliness
self-diagnosis
service program
mental model
methodicalness
utility program
legal system
metalogic
multiguidance
second-order logic
logic diagram
logical diagram
coprocess
utility
incrementor
panic
system architecture
static typing
warp and woof
algebra
semon
executive
mathematical semantics
imperative programming
pansystemic
shakedown
pseudoproper
sortitive
compile-time
implementational
mission-critical
polysystemic
regimentable
deterministic
multiguidance
Hoare logic
Hoare triple
sublogic
hypothesizer
control system
foreground processing
foregrounding
monitor program
monitoring program
reliabilism
supervisory program
nomothetics
executive program
name-based type system
nominal type system
supervisor
logic
logical system
systematization
mode
figuring out
system of logic
documentation
body
conditional
software documentation
checker
atomicity
sortation
reverse engineering
clausifier
multifractal
state
KBS
pluripartidism
hook
fidelity
predicate logic
nominative type system
monadic second-order logic
systematizing
redundancy check
symbolic logic
odd-even check
permissioning
big bang
logic programming
parity check
dynamic typing
executor
emulation
cybermind
programming
material logic
centralism
paraconsistent logic
grammar
eigensystem
orderliness
self-diagnosis
service program
mental model
methodicalness
utility program
legal system
metalogic
second-order logic
logic diagram
logical diagram
coprocess
utility
incrementor
system architecture
static typing
warp and woof
algebra
semon
executive
mathematical semantics
imperative programming
thrash
panic
English words for 'A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.'
As you may have noticed, above you will find words for "A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.". Hover the mouse over the word you'd like to know more about to view its definition. Click 
to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.
Recent Queries
a purchaser.
mettle.
grain of rice
to test
annual tribute
To plunder
executive order
urticaria
nest box
keen insight
rightfully.
preparatory course
feminine.
legal office
awl
competitive
to skip over
fluorine
retentive memory
blowjob
efficacious.
Not uttered
technical problem
still less
stock control
emergency measures
public high school
true love
eloquent.
right of management
I'm off
undecided.
curl
Switzerland
bearing fruit
private use
falsely.
smashing
preamble
carbuncle
cock
confidential
essentially
primeval
reproof
to slow down
layman
silly.
bottom
to leave