Login / Signup
From specification languages to wide-spectrum logics.
Martin Henson
Published in:
IC3 (2014)
Keyphrases
</>
specification languages
formal specification
first order logic
object oriented programs
expressive power
wide range
inference rules
model checking
modal logic
nonmonotonic logics
epistemic logic
classical logic
multi fractal
data sets
expert systems
reverse engineering