Advances in parameterized verification of population protocols

DOI10.1007/978-3-319-58747-9_2MaRDI QIDQ2399358zbMATH OpenOpenAlexFDO

Authors Javier Esparza

Publication date 22 August 2017

Full work available at URL https://doi.org/10.1007/978-3-319-58747-9_2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Network protocols (68M12) Wireless sensor networks as related to computer science (68M18)

Recommendations

• Verification of Population Protocols
• Verification of population protocols
• Verification of Immediate Observation Population Protocols
• Population protocols and related models

Cites work

• scientific article; zbMATH DE number 3148873 (Why is no real title available?)
• Computation in networks of passively mobile finite-state sensors
• Computation in networks of passively mobile finite-state sensors
• Computation with finite stochastic chemical reaction networks
• Decidability of parameterized verification
• Fast and exact majority in population protocols
• Fast computation by population protocols with a leader
• Model checking population protocols
• Presburger vector addition systems
• Stably computable predicates are semilinear
• The computational power of population protocols
• Vector Addition System Reversible Reachability Problem
• Vector addition system reversible reachability problem
• Verification of population protocols
• Well-structured transition systems everywhere!

Cited in

(6)

• Verification of Population Protocols
• Automatic analysis of expected termination time for population protocols
• Black Ninjas in the dark: formal analysis of population protocols
• Population protocols and related models
• Population protocols: beyond runtime analysis
• Verification of population protocols

Describes a project that uses

Uses Software

• PAT
• z3
• Coq

This page was built for publication: Advances in parameterized verification of population protocols

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