<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <http://eprints.untirta.ac.id/id/eprint/57573> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Thesis> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://purl.org/dc/terms/title> "PENGEMBANGAN HELIOVERIFY: ALAT VERIFIKASI FORMAL BERBASIS SATISFIABILITY MODULO THEORIES UNTUK KOREOGRAFIS DAN ORKESTRASI MICROSERVICES"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://purl.org/ontology/bibo/abstract> "Microservices architecture has been widely adopted to build scalable applications; however, the complexity of inter-service interactions introduces significant verification challenges that cannot be adequately addressed by conventional testing methods, such as unit and integration testing, which focus on individual services and fail to capture global system behavior. Consequently, design errors such as deadlocks or protocol violations in choreographed and orchestrated workflows are difficult to detect at an early stage. This research proposes a formal verification approach based on Satisfiability Modulo Theories (SMT) by designing and implementing a prototype tool called HelioVerify, which utilizes the Z3 SMT solver to analyze formal models derived from microservices interaction specifications. Through case studies, the results show that HelioVerify can automatically detect violations of formal constraints by identifying Unsatisfiable states and providing detailed diagnostics in the form of Errors, Warnings, and Suggestions. This study contributes a practical verification tool to support early detection of design flaws, thereby improving the reliability and quality of microservices-based systems."^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://purl.org/dc/terms/date> "2026-03-03" .
<http://eprints.untirta.ac.id/id/document/371793> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<http://eprints.untirta.ac.id/id/document/371820> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<http://eprints.untirta.ac.id/id/document/371821> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<http://eprints.untirta.ac.id/id/document/371822> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<http://eprints.untirta.ac.id/id/document/371823> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<http://eprints.untirta.ac.id/id/document/371824> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<http://eprints.untirta.ac.id/id/document/371826> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<http://eprints.untirta.ac.id/id/document/371825> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<http://eprints.untirta.ac.id/id/document/371837> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<http://eprints.untirta.ac.id/id/org/ext-c871f3babb998b3a2b7c18dee1e778af> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<http://eprints.untirta.ac.id/id/org/ext-c871f3babb998b3a2b7c18dee1e778af> <http://xmlns.com/foaf/0.1/name> "Fakultas Teknik Universitas Sultan Ageng Tirtayasa"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://purl.org/dc/terms/issuer> <http://eprints.untirta.ac.id/id/org/ext-c871f3babb998b3a2b7c18dee1e778af> .
<http://eprints.untirta.ac.id/id/org/ext-7e4fcb6cb19a39e0f057112ddd87fd30> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<http://eprints.untirta.ac.id/id/org/ext-7e4fcb6cb19a39e0f057112ddd87fd30> <http://xmlns.com/foaf/0.1/name> "INFORMATIKA, Fakultas Teknik Universitas Sultan Ageng Tirtayasa"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/org/ext-7e4fcb6cb19a39e0f057112ddd87fd30> <http://purl.org/dc/terms/isPartOf> <http://eprints.untirta.ac.id/id/org/ext-c871f3babb998b3a2b7c18dee1e778af> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://purl.org/dc/terms/issuer> <http://eprints.untirta.ac.id/id/org/ext-7e4fcb6cb19a39e0f057112ddd87fd30> .
<http://eprints.untirta.ac.id/id/org/ext-c871f3babb998b3a2b7c18dee1e778af> <http://purl.org/dc/terms/hasPart> <http://eprints.untirta.ac.id/id/org/ext-7e4fcb6cb19a39e0f057112ddd87fd30> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://purl.org/dc/terms/creator> <http://eprints.untirta.ac.id/id/person/ext-3337220028> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://purl.org/ontology/bibo/authorList> <http://eprints.untirta.ac.id/id/eprint/57573#authors> .
<http://eprints.untirta.ac.id/id/eprint/57573#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://eprints.untirta.ac.id/id/person/ext-3337220028> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://www.loc.gov/loc.terms/relators/THS> <http://eprints.untirta.ac.id/id/person/ext-199204222022031006> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://www.loc.gov/loc.terms/relators/THS> <http://eprints.untirta.ac.id/id/person/ext-197310312005011001> .
<http://eprints.untirta.ac.id/id/person/ext-199204222022031006> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.untirta.ac.id/id/person/ext-199204222022031006> <http://xmlns.com/foaf/0.1/givenName> "ROYAN"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/person/ext-199204222022031006> <http://xmlns.com/foaf/0.1/familyName> "HABIBIE SUKARNA"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/person/ext-199204222022031006> <http://xmlns.com/foaf/0.1/name> "ROYAN HABIBIE SUKARNA"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/person/ext-197310312005011001> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.untirta.ac.id/id/person/ext-197310312005011001> <http://xmlns.com/foaf/0.1/givenName> "FITRI"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/person/ext-197310312005011001> <http://xmlns.com/foaf/0.1/familyName> "DAMYATI"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/person/ext-197310312005011001> <http://xmlns.com/foaf/0.1/name> "FITRI DAMYATI"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/person/ext-3337220028> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.untirta.ac.id/id/person/ext-3337220028> <http://xmlns.com/foaf/0.1/givenName> "FAIZ ISLAMIC"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/person/ext-3337220028> <http://xmlns.com/foaf/0.1/familyName> "QOWY"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/person/ext-3337220028> <http://xmlns.com/foaf/0.1/name> "FAIZ ISLAMIC QOWY"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/org/ext-0856b02b011e7f0732df38d4a4d2a111> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<http://eprints.untirta.ac.id/id/org/ext-0856b02b011e7f0732df38d4a4d2a111> <http://xmlns.com/foaf/0.1/name> "UNIVERSITAS SULTAN AGENG TIRTAYASA"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://purl.org/dc/terms/creator> <http://eprints.untirta.ac.id/id/org/ext-0856b02b011e7f0732df38d4a4d2a111> .
<http://eprints.untirta.ac.id/id/org/ext-c5ece9c0daf7753fd72cc05306e854ff> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<http://eprints.untirta.ac.id/id/org/ext-c5ece9c0daf7753fd72cc05306e854ff> <http://xmlns.com/foaf/0.1/name> "FAKULTAS TEKNIK"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://purl.org/dc/terms/creator> <http://eprints.untirta.ac.id/id/org/ext-c5ece9c0daf7753fd72cc05306e854ff> .
<http://eprints.untirta.ac.id/id/org/ext-1392490ae2ed7fba79e51f81e5018bab> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<http://eprints.untirta.ac.id/id/org/ext-1392490ae2ed7fba79e51f81e5018bab> <http://xmlns.com/foaf/0.1/name> "JURUSAN INFORMATIKA"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://purl.org/dc/terms/creator> <http://eprints.untirta.ac.id/id/org/ext-1392490ae2ed7fba79e51f81e5018bab> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ThesisEPrint> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://purl.org/dc/terms/isPartOf> <http://eprints.untirta.ac.id/id/repository> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://eprints.org/ontology/hasDocument> <http://eprints.untirta.ac.id/id/document/371793> .
<http://eprints.untirta.ac.id/id/document/371793> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://eprints.untirta.ac.id/id/document/371793> <http://www.w3.org/2000/01/rdf-schema#label> "PENGEMBANGAN HELIOVERIFY: ALAT VERIFIKASI FORMAL BERBASIS SATISFIABILITY MODULO THEORIES UNTUK KOREOGRAFIS DAN ORKESTRASI MICROSERVICES (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/document/371793> <http://eprints.org/ontology/hasFile> <https://eprints.untirta.ac.id/57573/1/Faiz%20Islamic%20Qowy_3337220028_Fulltext.pdf> .
<http://eprints.untirta.ac.id/id/document/371793> <http://purl.org/dc/terms/hasPart> <https://eprints.untirta.ac.id/57573/1/Faiz%20Islamic%20Qowy_3337220028_Fulltext.pdf> .
<https://eprints.untirta.ac.id/57573/1/Faiz%20Islamic%20Qowy_3337220028_Fulltext.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "Faiz Islamic Qowy_3337220028_Fulltext.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://eprints.org/ontology/hasDocument> <http://eprints.untirta.ac.id/id/document/371820> .
<http://eprints.untirta.ac.id/id/document/371820> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://eprints.untirta.ac.id/id/document/371820> <http://www.w3.org/2000/01/rdf-schema#label> "PENGEMBANGAN HELIOVERIFY: ALAT VERIFIKASI FORMAL BERBASIS SATISFIABILITY MODULO THEORIES UNTUK KOREOGRAFIS DAN ORKESTRASI MICROSERVICES (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/document/371820> <http://eprints.org/ontology/hasFile> <https://eprints.untirta.ac.id/57573/2/Faiz%20Islamic%20Qowy_3337220028_01.pdf> .
<http://eprints.untirta.ac.id/id/document/371820> <http://purl.org/dc/terms/hasPart> <https://eprints.untirta.ac.id/57573/2/Faiz%20Islamic%20Qowy_3337220028_01.pdf> .
<https://eprints.untirta.ac.id/57573/2/Faiz%20Islamic%20Qowy_3337220028_01.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "Faiz Islamic Qowy_3337220028_01.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://eprints.org/ontology/hasDocument> <http://eprints.untirta.ac.id/id/document/371821> .
<http://eprints.untirta.ac.id/id/document/371821> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://eprints.untirta.ac.id/id/document/371821> <http://www.w3.org/2000/01/rdf-schema#label> "PENGEMBANGAN HELIOVERIFY: ALAT VERIFIKASI FORMAL BERBASIS SATISFIABILITY MODULO THEORIES UNTUK KOREOGRAFIS DAN ORKESTRASI MICROSERVICES (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/document/371821> <http://eprints.org/ontology/hasFile> <https://eprints.untirta.ac.id/57573/3/Faiz%20Islamic%20Qowy_3337220028_02.pdf> .
<http://eprints.untirta.ac.id/id/document/371821> <http://purl.org/dc/terms/hasPart> <https://eprints.untirta.ac.id/57573/3/Faiz%20Islamic%20Qowy_3337220028_02.pdf> .
<https://eprints.untirta.ac.id/57573/3/Faiz%20Islamic%20Qowy_3337220028_02.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "Faiz Islamic Qowy_3337220028_02.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://eprints.org/ontology/hasDocument> <http://eprints.untirta.ac.id/id/document/371822> .
<http://eprints.untirta.ac.id/id/document/371822> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://eprints.untirta.ac.id/id/document/371822> <http://www.w3.org/2000/01/rdf-schema#label> "PENGEMBANGAN HELIOVERIFY: ALAT VERIFIKASI FORMAL BERBASIS SATISFIABILITY MODULO THEORIES UNTUK KOREOGRAFIS DAN ORKESTRASI MICROSERVICES (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/document/371822> <http://eprints.org/ontology/hasFile> <https://eprints.untirta.ac.id/57573/4/Faiz%20Islamic%20Qowy_3337220028_03.pdf> .
<http://eprints.untirta.ac.id/id/document/371822> <http://purl.org/dc/terms/hasPart> <https://eprints.untirta.ac.id/57573/4/Faiz%20Islamic%20Qowy_3337220028_03.pdf> .
<https://eprints.untirta.ac.id/57573/4/Faiz%20Islamic%20Qowy_3337220028_03.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "Faiz Islamic Qowy_3337220028_03.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://eprints.org/ontology/hasDocument> <http://eprints.untirta.ac.id/id/document/371823> .
<http://eprints.untirta.ac.id/id/document/371823> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://eprints.untirta.ac.id/id/document/371823> <http://www.w3.org/2000/01/rdf-schema#label> "PENGEMBANGAN HELIOVERIFY: ALAT VERIFIKASI FORMAL BERBASIS SATISFIABILITY MODULO THEORIES UNTUK KOREOGRAFIS DAN ORKESTRASI MICROSERVICES (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/document/371823> <http://eprints.org/ontology/hasFile> <https://eprints.untirta.ac.id/57573/5/Faiz%20Islamic%20Qowy_3337220028_04.pdf> .
<http://eprints.untirta.ac.id/id/document/371823> <http://purl.org/dc/terms/hasPart> <https://eprints.untirta.ac.id/57573/5/Faiz%20Islamic%20Qowy_3337220028_04.pdf> .
<https://eprints.untirta.ac.id/57573/5/Faiz%20Islamic%20Qowy_3337220028_04.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "Faiz Islamic Qowy_3337220028_04.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://eprints.org/ontology/hasDocument> <http://eprints.untirta.ac.id/id/document/371824> .
<http://eprints.untirta.ac.id/id/document/371824> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://eprints.untirta.ac.id/id/document/371824> <http://www.w3.org/2000/01/rdf-schema#label> "PENGEMBANGAN HELIOVERIFY: ALAT VERIFIKASI FORMAL BERBASIS SATISFIABILITY MODULO THEORIES UNTUK KOREOGRAFIS DAN ORKESTRASI MICROSERVICES (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/document/371824> <http://eprints.org/ontology/hasFile> <https://eprints.untirta.ac.id/57573/6/Faiz%20Islamic%20Qowy_3337220028_05.pdf> .
<http://eprints.untirta.ac.id/id/document/371824> <http://purl.org/dc/terms/hasPart> <https://eprints.untirta.ac.id/57573/6/Faiz%20Islamic%20Qowy_3337220028_05.pdf> .
<https://eprints.untirta.ac.id/57573/6/Faiz%20Islamic%20Qowy_3337220028_05.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "Faiz Islamic Qowy_3337220028_05.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://eprints.org/ontology/hasDocument> <http://eprints.untirta.ac.id/id/document/371825> .
<http://eprints.untirta.ac.id/id/document/371825> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://eprints.untirta.ac.id/id/document/371825> <http://www.w3.org/2000/01/rdf-schema#label> "PENGEMBANGAN HELIOVERIFY: ALAT VERIFIKASI FORMAL BERBASIS SATISFIABILITY MODULO THEORIES UNTUK KOREOGRAFIS DAN ORKESTRASI MICROSERVICES (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/document/371825> <http://eprints.org/ontology/hasFile> <https://eprints.untirta.ac.id/57573/7/Faiz%20Islamic%20Qowy_3337220028_Lamp.pdf> .
<http://eprints.untirta.ac.id/id/document/371825> <http://purl.org/dc/terms/hasPart> <https://eprints.untirta.ac.id/57573/7/Faiz%20Islamic%20Qowy_3337220028_Lamp.pdf> .
<https://eprints.untirta.ac.id/57573/7/Faiz%20Islamic%20Qowy_3337220028_Lamp.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "Faiz Islamic Qowy_3337220028_Lamp.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://eprints.org/ontology/hasDocument> <http://eprints.untirta.ac.id/id/document/371826> .
<http://eprints.untirta.ac.id/id/document/371826> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://eprints.untirta.ac.id/id/document/371826> <http://www.w3.org/2000/01/rdf-schema#label> "PENGEMBANGAN HELIOVERIFY: ALAT VERIFIKASI FORMAL BERBASIS SATISFIABILITY MODULO THEORIES UNTUK KOREOGRAFIS DAN ORKESTRASI MICROSERVICES (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/document/371826> <http://eprints.org/ontology/hasFile> <https://eprints.untirta.ac.id/57573/8/Faiz%20Islamic%20Qowy_3337220028_Ref.pdf> .
<http://eprints.untirta.ac.id/id/document/371826> <http://purl.org/dc/terms/hasPart> <https://eprints.untirta.ac.id/57573/8/Faiz%20Islamic%20Qowy_3337220028_Ref.pdf> .
<https://eprints.untirta.ac.id/57573/8/Faiz%20Islamic%20Qowy_3337220028_Ref.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "Faiz Islamic Qowy_3337220028_Ref.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://eprints.org/ontology/hasDocument> <http://eprints.untirta.ac.id/id/document/371837> .
<http://eprints.untirta.ac.id/id/document/371837> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://eprints.untirta.ac.id/id/document/371837> <http://www.w3.org/2000/01/rdf-schema#label> "PENGEMBANGAN HELIOVERIFY: ALAT VERIFIKASI FORMAL BERBASIS SATISFIABILITY MODULO THEORIES UNTUK KOREOGRAFIS DAN ORKESTRASI MICROSERVICES (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/document/371837> <http://eprints.org/ontology/hasFile> <https://eprints.untirta.ac.id/57573/9/Faiz%20Islamic%20Qowy_3337220028_CP.pdf> .
<http://eprints.untirta.ac.id/id/document/371837> <http://purl.org/dc/terms/hasPart> <https://eprints.untirta.ac.id/57573/9/Faiz%20Islamic%20Qowy_3337220028_CP.pdf> .
<https://eprints.untirta.ac.id/57573/9/Faiz%20Islamic%20Qowy_3337220028_CP.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "Faiz Islamic Qowy_3337220028_CP.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://eprints.untirta.ac.id/57573/> .
<https://eprints.untirta.ac.id/57573/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #57573 \n\nPENGEMBANGAN HELIOVERIFY: ALAT VERIFIKASI FORMAL BERBASIS SATISFIABILITY MODULO THEORIES UNTUK KOREOGRAFIS DAN ORKESTRASI MICROSERVICES\n\n" .
<https://eprints.untirta.ac.id/57573/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://eprints.untirta.ac.id/57573/> <http://xmlns.com/foaf/0.1/primaryTopic> <http://eprints.untirta.ac.id/id/eprint/57573> .
<http://eprints.untirta.ac.id/id/subject/QA75> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://eprints.untirta.ac.id/id/subject/QA75> <http://www.w3.org/2004/02/skos/core#prefLabel> "QA75 Electronic computers. Computer science"@en .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://purl.org/dc/terms/subject> <http://eprints.untirta.ac.id/id/subject/QA75> .
<http://eprints.untirta.ac.id/id/subject/QA76> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://eprints.untirta.ac.id/id/subject/QA76> <http://www.w3.org/2004/02/skos/core#prefLabel> "QA76 Computer software"@en .
<http://eprints.untirta.ac.id/id/eprint/57573> <http://purl.org/dc/terms/subject> <http://eprints.untirta.ac.id/id/subject/QA76> .