Inferring Network Invariants Automatically

DOI10.1007/11814771_40MaRDI QIDQ3613429zbMATH OpenOpenAlexFDO

Authors Olga Grinchtein, Martin Leucker, Nir Piterman

Publication date 12 March 2009

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11814771_40

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automatic verification of parameterized networks of processes
• Parameterized verification of linear networks using automata as invariants
• scientific article; zbMATH DE number 1232244
• Verification of parameterized protocols
• Computing parameterized invariants of parameterized Petri nets

Cited in

(17)

• Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
• Verification of asynchronous systems with an unspecified component
• Learning Meets Verification
• Inferring inductive invariants from phase structures
• FSM inference from long traces
• Benchmarking combinations of learning and testing algorithms for automata learning
• An invariant-based approach to the verification of asynchronous parameterized networks
• Regular inference as vertex coloring
• Network invariants for real-time systems
• Learning Transparent Data Automata
• Fundamental results for learning deterministic extended finite state machines from queries
• Unsupervised automata learning via discrete optimization
• Compositional automata learning of synchronous systems
• scientific article; zbMATH DE number 1927557 (Why is no real title available?)
• Learning Minimal Separating DFA’s for Compositional Verification
• Automatic verification of parameterized networks of processes
• Inferring regular languages and \(\omega\)-languages

This page was built for publication: Inferring Network Invariants Automatically

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