Integrating Evolutionary Computation with Abstraction Refinement for Model Checking
From MaRDI portal
Publication:5280833
DOI10.1109/TC.2009.105zbMath1368.68248MaRDI QIDQ5280833
No author found.
Publication date: 27 July 2017
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (1)
This page was built for publication: Integrating Evolutionary Computation with Abstraction Refinement for Model Checking
