Open AccessKriQL: a query language for the diagnosis of transition systems
Author(s) -
Khaoula Es-Salhi,
Siham Rim Boudaoud,
Ciprian Teodorov,
Zoé Drey,
Vincent Ribaud
Publication year - 2015
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , trace (psycholinguistics) , exploit , counterexample , graph , query language , benchmark (surveying) , transition system , theoretical computer science , model checking , programming language , data structure , data mining , mathematics , philosophy , linguistics , computer security , geodesy , discrete mathematics , geography