Amanote Research
Register
Sign In
Verifying Networked Programs Using a Model Checker Extension
doi 10.1109/icse-companion.2009.5071036
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2009
Authors
Watcharin Leungwattanakit
Cyrille Artho
Masami Hagiya
Yoshinori Tanabe
Mitsuharu Yamamoto
Publisher
IEEE
Related search
Tools and Techniques for Model Checking Networked Programs
Knowledge Representation in a Proof Checker for Logic Programs
A Symbolic Model Checker for ACTL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Markov Chain Model Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Certified Petri Net Model-Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Model-Based Privacy Compliance Checker
International Journal of e-Business Research
Computer Science Applications
Management Information Systems
Verifying Programs With Dynamic 1-Selector-Linked Structures in Regular Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The JKind Model Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Message-Passing Programs With Dependent Behavioural Types
