scientific article; zbMATH DE number 1852158
From MaRDI portal
Publication:4787228
zbMath1002.68674MaRDI QIDQ4787228
Publication date: 9 January 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2144/21440179
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)
Related Items (9)
Model Checking Parameterized Systems ⋮ Projection approaches to process mining using region-based techniques ⋮ Synthesizing history and prophecy variables for symbolic model checking ⋮ An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP ⋮ Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols ⋮ Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms ⋮ Chosen-Ciphertext Security from Subset Sum ⋮ Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems ⋮ Parameterized synthesis of self-stabilizing protocols in symmetric networks
Uses Software
This page was built for publication:
