Online Library TheLib.net » Тема, жанр, tags: parametrized model checking concurrent systems distributed formal verification decidability cutoffs