scientific article; zbMATH DE number 2102708
From MaRDI portal
Publication:4817546
zbMath1046.68579MaRDI QIDQ4817546
Roderick Bloem, Fabio Somenzi, Kavita Ravi
Publication date: 24 September 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Combining static analysis and case-based search space partitioning for reducing peak memory in model checking, Functional Specification of Hardware via Temporal Logic, \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes, Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition, A first-order logic characterization of safety and co-safety languages, Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms, Linear temporal logic with until and next, logical consecutions, Embedding finite automata within regular expressions, Abstract reduction in directed model checking CCS processes, An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps, Compositional SCC analysis for language emptiness, Survey on Directed Model Checking, Using heuristic search for finding deadlocks in concurrent systems
