A method for guided search and test scenarios generation in verification of formal models of asynchronous systems von Kolchin, A.V.

Volltext

Methods of forward and backward symbolic modeling of systems specified by basic protocols von Potienko, S.V.

Volltext

Optimization of checking the feasibility of transitions when verifying formal models von Kolchin, A.V.

Volltext

Backward transformation of formulas in symbolic modeling: from the result to the source formula von Godlevsky, A.B., Potienko, S.V.

Volltext