Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022
SMC4PEP: Stochastic Model Checking of Product Engineering Processes
Hassan Hage, Emmanouil Seferis, Vahid Hashemi +1
Product Engineering Processes (PEPs) are used for describing complex product developments in big enterprises such as automotive and avionics industries. The Business Process Model…
cs.LO2020
DeepAbstract: Neural Network Abstraction for Accelerating Verification
Pranav Ashok, Vahid Hashemi, Jan Křetínský +1
While abstraction is a classic tool of verification to scale it up, it is not used very often for verifying neural networks. However, it can help with the still open task of scalin…