Adaptive Model Checking

DOI10.1093/JIGPAL/JZL007MaRDI QIDQ3424119zbMATH OpenOpenAlexFDO

Authors Alex Groce, Doron Peled, Mihalis Yannakakis

Publication date 15 February 2007

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/4295a6fa99d5ba48b14bc6a3d9db732a553715ad

zbMATH Keywords

black box testinglearning regular languagesmodel checking

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2080060
• scientific article; zbMATH DE number 1903377
• Grey-Box Checking
• scientific article; zbMATH DE number 1916673
• CTL model update for system modifications

Cited in

(9)

• Learning algorithms
• scientific article; zbMATH DE number 1693453 (Why is no real title available?)
• Incremental learning-based testing for reactive systems
• Evaluation and Comparison of Inferred Regular Grammars
• Grey-Box Checking
• scientific article; zbMATH DE number 2080060 (Why is no real title available?)
• scientific article; zbMATH DE number 1903377 (Why is no real title available?)
• Learning realtime one-counter automata
• Unsupervised automata learning via discrete optimization

This page was built for publication: Adaptive Model Checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3424119)