Verifying Networked Programs Using a Model Checker Extension

doi 10.1109/icse-companion.2009.5071036

Full Text

Abstract

Available in

Date

Authors

Publisher

IEEE

Related search

Tools and Techniques for Model Checking Networked Programs

2008English

A Markov Chain Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Knowledge Representation in a Proof Checker for Logic Programs

2012English

A Symbolic Model Checker for ACTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

A Model-Based Privacy Compliance Checker

International Journal of e-Business Research
Computer Science ApplicationsManagement Information Systems
2009English

The JKind Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Verifying Programs With Dynamic 1-Selector-Linked Structures in Regular Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Towards a Certified Petri Net Model-Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Z2SAL - Building a Model Checker for Z

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy