Amanote Research
Register
Sign In
An Improvement of the Piggyback Algorithm for Parallel Model Checking
doi 10.1145/2632362.2632375
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2014
Authors
Ioannis Filippidis
Gerard J. Holzmann
Publisher
ACM Press
Related search
Parallel State Space Construction for Model-Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Improved POCTL Model Checking Algorithm Based on Preprocess Mechanism
DEStech Transactions on Computer Science and Engineering
A Direct Algorithm for Multi-Valued Bounded Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Efficient Equivalence-Checking Algorithm for a Model of Programs With Commutative and Absorptive Statements
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
An Efficient Parallel Algorithm for Planarity
A Logic of Belief and a Model Checking Algorithm for Security Protocols
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Optimal Parallel Algorithm for Learning DFA
MetaGame: An Animation Tool for Model-Checking Games
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
