Login / Signup
Property specification patterns at work: verification and inconsistency explanation.
Massimo Narizzano
Luca Pulina
Armando Tacchella
Simone Vuotto
Published in:
Innov. Syst. Softw. Eng. (2019)
Keyphrases
</>
formal verification
asynchronous circuits
desirable properties
real time
data sets
frequent patterns
pattern analysis
integrity checking
protocol specification
databases
machine learning
information systems
pattern discovery