Search Results - subject:"Software Verification"

Sitnikovski, Boro; Goracinova-Ilieva, Lidija; … - In: UTMS Journal of Economics 12 (2021) 1, pp. 32-39

is intended to do. There are several platforms and mathematical models for software verification. Formal verification is …

Persistent link: https://www.econbiz.de/10014465778

Sitnikovski, Boro; Goracinova-Ilieva, Lidija; … - In: UTMS journal of economics / University of Tourism and … 12 (2021) 1, pp. 32-39

is intended to do. There are several platforms and mathematical models for software verification. Formal verification is …

Persistent link: https://www.econbiz.de/10012588807

Lee, Joo Y.; Lee, Kwanwoo; Park, Sangchul - In: International journal of production research 58 (2020) 22, pp. 6890-6898

Persistent link: https://www.econbiz.de/10012315540

IVAN, Ion; CIUREA, Cristian; VINTILA, Bogdan; NOSCA, … - In: Informatica Economica 17 (2013) 1, pp. 113-130

testing and software verification processes are described. The verification steps and necessary conditions are presented and …

Persistent link: https://www.econbiz.de/10010721661

Bagnara, Roberto; Carlier, Matthieu; Gori, Roberta; … - In: INFORMS journal on computing : JOC 28 (2016) 1, pp. 31-46

Persistent link: https://www.econbiz.de/10011453769