Search Results for author: Dmitry Solomakhin

Found 1 papers, 0 papers with code

Verification of Semantically-Enhanced Artifact Systems (Extended Version)

no code implementations28 Aug 2013 Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin

In this setting, we present a technique to specify temporal properties expressed over the Semantic Layer, and verify them according to the evolution in the underlying GSM model.

Cannot find the paper you are looking for? You can Submit a new open access paper.