The propagation of quasi-Rayleigh waves along an impedance-loaded plane boundary of an isotropic elastic half-space is studied theoretically. The disp...

The origins of software verification go back to the pioneers of Computing Science, von Neumann and Turing. The idea has been rediscovered several tim...

The acoustic field in a resonator filled with a cubically nonlinear medium is investigated. The field is represented as a linear superposition of two...

Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very begi...

Software model checking is the algorithmic analysis of programs to prove properties of their executions. It traces its roots to logic and theorem prov...