scientific article; zbMATH DE number 1927558
From MaRDI portal
Publication:4484482
zbMath1012.68134MaRDI QIDQ4484482
Julien d'Orso, Marcus Nilsson, Parosh Aziz Abdulla, Bengt Jonsson
Publication date: 12 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2421/24210116.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (9)
Model Checking Parameterized Systems ⋮ View abstraction for systems with component identities ⋮ Handling Parameterized Systems with Non-atomic Global Conditions ⋮ Monotonic Abstraction in Parameterized Verification ⋮ Automatic Verification of Directory-Based Consistency Protocols ⋮ Approximated parameterized verification of infinite-state processes with global conditions ⋮ Monotonic Abstraction in Action ⋮ Automated formal analysis and verification: an overview ⋮ Parameterised verification for multi-agent systems
This page was built for publication:
