Scheme inclusion verification algorithm in algebraic model of programs with constants

DOI10.1134/S0361768807060011zbMath1147.68450OpenAlexW2070596267MaRDI QIDQ927457

Dmitry Rusakov

Publication date: 9 June 2008

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768807060011

zbMATH Keywords

asymptotic complexity estimates

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Inclusion problem in algebraic models of programs with constants
• Implementation and Application of Automata
• Unnamed Item
• Unnamed Item