Login / Signup
A tool for automated reasoning about traces based on configurable formal semantics.
Ferhat Erata
Arda Goknil
Bedir Tekinerdogan
Geylani Kardas
Published in:
ESEC/SIGSOFT FSE (2017)
Keyphrases
</>
formal semantics
design rationale
logical reasoning
operational semantics
logical language
formal language
probabilistic knowledge
modeling language
first order logic
modelling language
theorem prover
ontology languages
owl dl ontology
databases
black box
expert systems
case study
e learning