Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Model checking CSP revisited: Introducing a process analysis toolkit

Sun, J.
Liu, Y.
Dong, J.S.

Publication date

January 2008

DOI

10.1007/978-3-540-88479-8-22

Publisher

Springer Science and Business Media LLC

ISSN

1865-0929

Abstract

10.1007/978-3-540-88479-8-22Communications in Computer and Information Science17 CCIS307-32

Extracted data

Related items

Assumption-commitment support for CSP model checking

Moffat, N
Goldsmith, M

November 2008

We present a simple formulation of Assumption-Commitment reasoning using CSP (Communicating Sequenti...

Model checking software: on some new waves and some evergreens

Bosnacki, D.
Edelkamp, S.

January 2010

This paper introduces a special section of the STTT journal containing a selection of papers that we...

Special section on the algorithmics of software model checking

Matthew Dwyer
Stefan Leue

October 2016

The term “software model checking ” has recently been coined to refer to a flourishing area of resea...

Model checking:recent improvements and applications

Bosnacki, D Dragan
Wijs, AJ Anton

January 2018

\u3cp\u3eModel checking (Baier and Katoen in Principles of model checking, MIT Press, Cambridge, 200...

Temporal Logic Model Checking of CSP: Tools and Techniques

Leuschel, Michael
Wolton, Ivan
Massart, Thierry
Adhianto, Laksono

April 2001

We study the possibility of doing LTL model checking on CSP specifications in the context of refinem...

Software Model Checking Based on Game Semantics and CSP

Dimovski, Aleksandar
Lazić, Ranko

May 2005

AbstractWe present an approach for software model checking based on game semantics and CSP. Open pro...

Preface Volume 55, Issue 3

Stoller, Scott D.
Visser, Willem

October 2001

AbstractThis issue contains the Proceedings of the Workshop on Software Model Checking, which was he...

Build Your Own Model Checker in One Month

Jin Song Dong
Jun Sun
Yang Liu

September 2016

Abstract—Model checking has established as an effective method for automatic system analysis and ver...

Some current issues in model checking

Huth M

February 2007

Model checking is a particular approach to property verification of systems. One describes a system ...

Fair model checking with process counter abstraction

Sun, J.
Liu, Y.
Roychoudhury, A.
Liu, S.
Dong, J.S.

January 2009

10.1007/978-3-642-05089-3_9Lecture Notes in Computer Science (including subseries Lecture Notes in A...

Industrial Grade Model Checking Use Cases, Constraints, Tools and Applications

Clabaut, Mathieu
Ge, Ning
BRETON, Nicolas
Jenn, Eric
Delmas, Rémi
Fonteneau, Yoann

January 2016

International audienceModel checking has made a lot of progress since its infancy. For a long time, ...

Introduction to model checking

Clarke, Edmund
Henzinger, Thomas A
Veith, Helmut
Henzinger, Thomas A

January 2018

Model checking is a computer-assisted method for the analysis of dynamical systems that can be model...

SoftMC 2003: Workshop on Software Model Checking

Cook, Byron
Stoller, Scott
Visser, Willem

September 2003

AbstractThis volume contains the Proceedings of the 2nd Workshop on Software Model Checking, which w...

DOI 10.1007/s10009-006-0005-y SPECIAL SECTION ON ADVANCES IN AUTOMATED VERIFICATION OF CRITICAL SYSTEMS Compositional software verification based on game semantics and process algebra

Ar Dimovski Ranko Lazić

January 2006

Abstract We present an approach to software model checking based on game semantics and the CSP proce...

Techniques and tools for the verification of concurrent systems

Roscoe, A W
Ouaknine, Joel
Palikareva, Hristina

January 2012

Model checking is an automatic formal verification technique for establishing correctness of systems...

Assumption-commitment support for CSP model checking

Moffat, N
Goldsmith, M

November 2008

We present a simple formulation of Assumption-Commitment reasoning using CSP (Communicating Sequenti...

Model checking software: on some new waves and some evergreens

Bosnacki, D.
Edelkamp, S.

January 2010

This paper introduces a special section of the STTT journal containing a selection of papers that we...

Special section on the algorithmics of software model checking

Matthew Dwyer
Stefan Leue

October 2016

The term “software model checking ” has recently been coined to refer to a flourishing area of resea...

Model checking:recent improvements and applications

Bosnacki, D Dragan
Wijs, AJ Anton

January 2018

\u3cp\u3eModel checking (Baier and Katoen in Principles of model checking, MIT Press, Cambridge, 200...

Temporal Logic Model Checking of CSP: Tools and Techniques

Leuschel, Michael
Wolton, Ivan
Massart, Thierry
Adhianto, Laksono

April 2001

We study the possibility of doing LTL model checking on CSP specifications in the context of refinem...

Software Model Checking Based on Game Semantics and CSP

Dimovski, Aleksandar
Lazić, Ranko

May 2005

AbstractWe present an approach for software model checking based on game semantics and CSP. Open pro...

Preface Volume 55, Issue 3

Stoller, Scott D.
Visser, Willem

October 2001

AbstractThis issue contains the Proceedings of the Workshop on Software Model Checking, which was he...

Build Your Own Model Checker in One Month

Jin Song Dong
Jun Sun
Yang Liu

September 2016

Abstract—Model checking has established as an effective method for automatic system analysis and ver...

Some current issues in model checking

Huth M

February 2007

Model checking is a particular approach to property verification of systems. One describes a system ...

Fair model checking with process counter abstraction

Sun, J.
Liu, Y.
Roychoudhury, A.
Liu, S.
Dong, J.S.

January 2009

10.1007/978-3-642-05089-3_9Lecture Notes in Computer Science (including subseries Lecture Notes in A...

Industrial Grade Model Checking Use Cases, Constraints, Tools and Applications

Clabaut, Mathieu
Ge, Ning
BRETON, Nicolas
Jenn, Eric
Delmas, Rémi
Fonteneau, Yoann

January 2016

International audienceModel checking has made a lot of progress since its infancy. For a long time, ...

Introduction to model checking

Clarke, Edmund
Henzinger, Thomas A
Veith, Helmut
Henzinger, Thomas A

January 2018

Model checking is a computer-assisted method for the analysis of dynamical systems that can be model...

SoftMC 2003: Workshop on Software Model Checking

Cook, Byron
Stoller, Scott
Visser, Willem

September 2003

AbstractThis volume contains the Proceedings of the 2nd Workshop on Software Model Checking, which w...

DOI 10.1007/s10009-006-0005-y SPECIAL SECTION ON ADVANCES IN AUTOMATED VERIFICATION OF CRITICAL SYSTEMS Compositional software verification based on game semantics and process algebra

Ar Dimovski Ranko Lazić

January 2006

Abstract We present an approach to software model checking based on game semantics and the CSP proce...

Techniques and tools for the verification of concurrent systems

Roscoe, A W
Ouaknine, Joel
Palikareva, Hristina

January 2012

Model checking is an automatic formal verification technique for establishing correctness of systems...

Assumption-commitment support for CSP model checking

Moffat, N
Goldsmith, M

November 2008

We present a simple formulation of Assumption-Commitment reasoning using CSP (Communicating Sequenti...

Model checking software: on some new waves and some evergreens

Bosnacki, D.
Edelkamp, S.

January 2010

This paper introduces a special section of the STTT journal containing a selection of papers that we...

Special section on the algorithmics of software model checking

Matthew Dwyer
Stefan Leue

October 2016

The term “software model checking ” has recently been coined to refer to a flourishing area of resea...