Login / Signup
Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers.
Sophie Lathouwers
Marieke Huisman
Published in:
FormaliSE@ICSE (2022)
Keyphrases
</>
formal specification
pattern recognition
classification accuracy
decision trees
support vector
feature selection
feature vectors
database
databases
artificial intelligence
case study
high level
multi agent
support vector machine
text classification