Domain > apsystems.org.ua

More information on this domain is in AlienVault OTX

DNS Resolutions

Date	IP Address
2018-11-11	193.0.61.35 (ClassC)
2026-01-23	213.239.199.197 (ClassC)

HTTP/1.1 200 OKServer: nginxDate: Fri, 23 Jan 2026 03:11:19 GMTContent-Type: text/html; charsetutf-8Transfer-Encoding: chunkedConnection: keep-aliveVary: Accept-EncodingExpires: Wed, 17 Aug 2005 00:00:00 GMTCache-Control: no-store, no-cache, must-revalidate, post-check0, pre-check0Pragma: no-cacheSet-Cookie: 4422fc9eb2f560afbb42de5b807dd61e7fdba60859912d4b91b9bcd71714ad6d; path/; secure; HttpOnlyX-Content-Type-Options: nosniffLast-Modified: Fri, 23 Jan 2026 03:11:19 GMT

!DOCTYPE html>html langru-ru dirltr>head>	meta nameviewport contentwidthdevice-width, initial-scale1.0 />	meta charsetutf-8 />	base hrefhttps://apsystems.org.ua/ />	meta namekeywords contentAlgebraic Programmig System Insertion Modeling verification />	meta namerights contentPrivate Enterprise LitSoft  />	meta namedescription contentSite about algebraic programming and insertion modeling />	meta namegenerator contentJoomla! - Open Source Content Management />	title>APS & IMS/title>	link href/index.php?formatfeed&typerss relalternate typeapplication/rss+xml titleRSS 2.0 />	link href/index.php?formatfeed&typeatom relalternate typeapplication/atom+xml titleAtom 1.0 />	link href/templates/protostar/favicon.ico relshortcut icon typeimage/vnd.microsoft.icon />	link href/templates/protostar/css/template.css?c2e50e87177c15ec302e03c48a9e752e relstylesheet />	link hrefhttps://fonts.googleapis.com/css?familyOpen+Sans relstylesheet />	style>	h1, h2, h3, h4, h5, h6, .site-title {		font-family: Open Sans, sans-serif;	}	body.site {		border-top: 3px solid #0088cc;		background-color: #f4f6f7;	}	a {		color: #0088cc;	}	.nav-list > .active > a,	.nav-list > .active > a:hover,	.dropdown-menu li > a:hover,	.dropdown-menu .active > a,	.dropdown-menu .active > a:hover,	.nav-pills > .active > a,	.nav-pills > .active > a:hover,	.btn-primary {		background: #0088cc;	}	/style>	script src/media/jui/js/jquery.min.js?c2e50e87177c15ec302e03c48a9e752e>/script>	script src/media/jui/js/jquery-noconflict.js?c2e50e87177c15ec302e03c48a9e752e>/script>	script src/media/jui/js/jquery-migrate.min.js?c2e50e87177c15ec302e03c48a9e752e>/script>	script src/media/system/js/caption.js?c2e50e87177c15ec302e03c48a9e752e>/script>	script src/media/jui/js/bootstrap.min.js?c2e50e87177c15ec302e03c48a9e752e>/script>	script src/templates/protostar/js/template.js?c2e50e87177c15ec302e03c48a9e752e>/script>	!--if lt IE 9>script src/media/jui/js/html5.js?c2e50e87177c15ec302e03c48a9e752e>/script>!endif-->	script>jQuery(window).on(load,  function() {				new JCaption(img.caption);			});	/script>/head>body classsite com_content view-featured no-layout no-task itemid-101 fluid>	!-- Body -->	div classbody idtop>		div classcontainer-fluid>			!-- Header -->			header classheader rolebanner>				div classheader-inner clearfix>					a classbrand pull-left href/>						span classsite-title titleAPS and IMS are best for rewriting and modelling>APS and IMS are best for rewriting and modelling/span>											/a>					div classheader-search pull-right>											/div>				/div>			/header>									div classrow-fluid>								main idcontent rolemain classspan9>					!-- Begin Content -->										div idsystem-message-container>	/div>					div classblog-featured itemscope itemtypehttps://schema.org/Blog>div classpage-header>	h1>	APS & IMS	/h1>/div>div classitems-leading clearfix>			div classleading-0 clearfix			itempropblogPost itemscope itemtypehttps://schema.org/BlogPosting>			p>span stylefont-size: 10pt;>strong>A/strong>lgebraic strong>P/strong>rogramming strong>S/strong>ystem strong>APS/strong> was developed by the department 100/105 of Glushkov/span>br />span stylefont-size: 10pt;>Institute of Cybernetics of National Academy of Science of Ukraine in 1987. It was the first/span>br />span stylefont-size: 10pt;>system of term rewriting which used the systems of rewriting rules and rewriting strategies separately./span>/p>p>span stylefont-size: 10pt;>The strong>APS/strong> v1 has been developed in 1989 (A. Letichevsky, S. Konozenko). During the years before 2004 a lot of experimental works has been done using this system in computer algebra, artificial intelligence, modeling parallel computations etc. The system was used for the development of application systems in City University (London, UK), Kherson State University, Kirovograd Technical University etc. A system strong>ADS/strong> (strong>A/strong>lgebraic strong>D/strong>evelopment strong>S/strong>ystem) has been developed for Motorola (A.Letichevsky, O. Letichevkyi, A.Chugayenko) as a tool for the development of software in the area of software verification./span>/p>p>span stylefont-size: 10pt;>strong>APS/strong> v2 was developed in 2004 (A. Letichevsky, M. Lvov, V. Peschanenko). strong>APS/strong> v2 uses Smart Pointers technology to avoid memory leaks discovered in the previous versions of strong>APS/strong>. It is used in strong>TerM/strong> project (Kherson: M.Lvov, V. Peschanenko), strong>STG/strong> (Kiev: A. Letichevsky, A. Letichevsky Jr., V. Volkov, S. Potienko, A. Kolchin, V. Peschanenko)/span>br />span stylefont-size: 10pt;>strong>APS/strong> v3 was developed in 2009 (A. Letichevsky, O. Letichevkyi, V. Peschanenko). What is new:/span>br />span stylefont-size: 10pt;>1. Optimized rewriting machine./span>br />span stylefont-size: 10pt;>2. Dynamically add and remove function in the system of rewriting rules without it recompilation in REM language./span>br />span stylefont-size: 10pt;>3. APLANC language (using APLAN language on C)./span>br />span stylefont-size: 10pt;>4. Non-deterministic rewriting strategy/span>/p>p>span stylefont-size: 10pt;>strong>APS/strong> v4 was implemented in 2013 (A. Letichevsky, O. Letichevkyi, V. Peschanenko):/span>br />span stylefont-size: 10pt;>1. Clew library is optimized in 4 times in speed and 10 times in memory in general case./span>br />span stylefont-size: 10pt;>2. Interfaces were added for next external tools: Presburger - omega, Fourier–Motzkin - reallib (our tool), cvc3, z3./span>br />span stylefont-size: 10pt;>3. Integration was made for Eclipse plug-in of transitional system description./span>/p>p>span stylefont-size: 10pt;>strong>I/strong>nsertional strong>M/strong>odelling strong>S/strong>ystem strong>IMS /strong>is APS with insertional model driver. It was used for the development of the Symbolic Trace Generator of the Verification of Requirements System and Generic Trace Generator (2007 - 2018). it was used as a base system for the development of Algebraic Virtual Machine (a hrefhttps://litsoft.com.ua>PE LitSoft/a>, 2018 - till now)./span>/p>div idgtx-trans styleposition: absolute; left: 619px; top: 342.07px;> /div>		/div>			/div>/div>					div classclearfix>/div>					div aria-labelbreadcrumbs rolenavigation>	ul itemscope itemtypehttps://schema.org/BreadcrumbList classbreadcrumb>					li>				Вы здесь:  			/li>								li itempropitemListElement itemscope itemtypehttps://schema.org/ListItem classactive>					span itempropname>						Главная					/span>					meta itempropposition content1>				/li>				/ul>/div>					!-- End Content -->				/main>									div idaside classspan3>						!-- Begin Right Sidebar -->						div classwell _menu>h3 classpage-header>Main Menu/h3>ul classnav menu mod-list>li classitem-101 default current active>a href/index.php >APS & IMS/a>/li>li classitem-111>a href/index.php/approximate-computations >Approximate Computations/a>/li>li classitem-103 deeper parent>a href/index.php/publications >Publications/a>ul classnav-child unstyled small>li classitem-104>a href/index.php/publications/algebraic-programming >Algebraic Programming/a>/li>li classitem-105>a href/index.php/publications/insertion-modelling >Insertion Modelling/a>/li>/ul>/li>li classitem-106>a href/index.php/downloads >Downloads/a>/li>li classitem-107 deeper parent>a href/index.php/workshop-2010 >Workshop 2010/a>ul classnav-child unstyled small>li classitem-108>a href/index.php/workshop-2010/program >Program/a>/li>li classitem-109>a href/index.php/workshop-2010/abstracts >Abstracts/a>/li>/ul>/li>li classitem-110>a href/index.php/contacts >Contacts/a>/li>/ul>/div>						!-- End Right Sidebar -->					/div>							/div>		/div>	/div>	!-- Footer -->	footer classfooter rolecontentinfo>		div classcontainer-fluid>			hr />						p classpull-right>				a href#top idback-top>					Наверх				/a>			/p>			p>				© 2026 APS and IMS are best for rewriting and modelling			/p>		/div>	/footer>	/body>/html>

View on OTX | View on ThreatMiner

Data with thanks to AlienVault OTX, VirusTotal, Malwr and others. [Sitemap]

Domain > apsystems.org.ua

Is this malicious?

DNS Resolutions

Port 80

Port 443