\textsc{NeVer}: a tool for artificial neural networks verification

DOI10.1007/s10472-011-9243-0zbMath1251.68143OpenAlexW2004252880MaRDI QIDQ421446

Armando Tacchella, Luca Pulina

Publication date: 23 May 2012

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-011-9243-0

zbMATH Keywords

verificationabstraction techniquesformal methods for adaptive systems

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Multilayered neural architectures evolution for computing sequences of orthogonal polynomials ⋮ NeVer

Uses Software

• Roboop
• CESAR
• SHARK

Cites Work

• Consistency in networks of relations
• Multilayer feedforward networks are universal approximators
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• LTL model checking for security protocols
• Abstraction-guided synthesis of synchronization
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item