High-level platform modeling and exploration door Màrius Montón