Search alternatives:
cers » ceres (Expand Search), cerys (Expand Search), cars (Expand Search)
cheer » chee (Expand Search), sheer (Expand Search), cheen (Expand Search)
cheers » chees (Expand Search), sheers (Expand Search), cheens (Expand Search), cheaters (Expand Search)
checkers » checker (Expand Search), checks (Expand Search), checked (Expand Search)
cheeas » cheeks (Expand Search), cheetahs (Expand Search)
chimeras » chimera (Expand Search), cameras (Expand Search), chimeric (Expand Search)
cheek » cheeks (Expand Search), chee (Expand Search), check (Expand Search)
cher » chern (Expand Search), chen (Expand Search), chee (Expand Search)
cers » ceres (Expand Search), cerys (Expand Search), cars (Expand Search)
cheer » chee (Expand Search), sheer (Expand Search), cheen (Expand Search)
cheers » chees (Expand Search), sheers (Expand Search), cheens (Expand Search), cheaters (Expand Search)
checkers » checker (Expand Search), checks (Expand Search), checked (Expand Search)
cheeas » cheeks (Expand Search), cheetahs (Expand Search)
chimeras » chimera (Expand Search), cameras (Expand Search), chimeric (Expand Search)
cheek » cheeks (Expand Search), chee (Expand Search), check (Expand Search)
cher » chern (Expand Search), chen (Expand Search), chee (Expand Search)
-
81
Live Verification in an Interactive Proof Assistant
Published 2024“…Other tools providing real-time feedback already exist, but ours is the first one that only relies on a small trusted proof checker and that provides a concise summary of the symbolic state at the point in the program currently being edited, as opposed to only indicating whether user-stated assertions or postconditions hold. …”
Get full text
Article -
82
Dynamic drug combination methods for suppressing bacterial antibiotics resistance adaptation
Published 2014“…In this study, the effects of using conventional antibiotics in combination with phytochemicals were studied by using checker board methods and time-kill assays using 12 S. aureus strains. …”
Get full text
Thesis