Model Checking Software
From MaRDI portal
Publication:5899044
DOI10.1007/11691617zbMath1178.68342OpenAlexW2480617525MaRDI QIDQ5899044
Guy Edward Gallasch, Jonathan Billington
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11691617
Coloured Petri Nets.Infinite Families of SystemsParametric Reachability GraphsStop and Wait Protocols
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)
Related Items (3)
Parametric Language Analysis of the Class of Stop-and-Wait Protocols ⋮ Performance analysis and functional verification of the stop-and-wait protocol in HOL ⋮ Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation
This page was built for publication: Model Checking Software
