Publication | Closed Access

Model checking hybrid logics (with an application to semistructured data)

EngineeringData ScienceFormal ModelingAutomated ReasoningVerificationHybrid LogicsFormal MethodsComputer-aided VerificationComputer ScienceModel CheckingSemantic WebModel VerificationFormal VerificationLogic ProgrammingData Modeling