Adaptive model checking

DOI10.1007/3-540-46002-0_25MaRDI QIDQ4472253zbMATH OpenFDO

Authors Alex Groce, Doron Peled, Mihalis Yannakakis

Publication date 4 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2280/22800357.htm

zbMATH Keywords

Automatic VerificationBlack Box TestingLearning Algorithms

Mathematics Subject Classification ID

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

Recommendations

• Adaptive Model Checking
• AMC: An adaptive model checker
• Grey-Box Checking
• scientific article; zbMATH DE number 1916673
• scientific article; zbMATH DE number 1418458

Cited in

(15)

• Probabilistic black-box reachability checking (extended version)
• Generating models of infinite-state communication protocols using regular inference with abstraction
• Learning from positive and negative examples: dichotomies and parameterized algorithms
• Adaptive Model Checking
• Learning Meets Verification
• Grey-Box Checking
• Learning finite cover automata from queries
• Active learning of nondeterministic finite state machines
• Learning register automata: from languages to program structures
• AMC: An adaptive model checker
• Learning of event-recording automata
• Learning from positive and negative examples: new proof for binary alphabets
• Reverse Engineering Through Automata Learning
• Three optimizations for assume-guarantee reasoning with \(L^{*}\)
• Verification of evolving software via component substitutability analysis

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 Q4472253)