Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Promela

PROMELA is a process modeling language whose intended use is to verify the logic of parallel systems. Given a program in PROMELA, Spin can verify the… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
This paper proposes EventCJ, a context-oriented programming (COP) language that can modularly control layer activation based on… Expand
  • figure 1
  • figure 3
  • figure 6
  • figure 8
  • figure 7
Is this relevant?
Highly Cited
2007
Highly Cited
2007
This paper investigates the satisfiability of Propositional Projection Temporal Logic (PPTL) with infinite models. A decision… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
Highly Cited
2005
Highly Cited
2005
In this paper, we apply automatic tools to the verification of interaction protocols of Web services described in OWL-S… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 9
  • table 1
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper presents Web Service Analysis Tool (WSAT), a tool for analyzing and verifying composite web service designs, with the… Expand
  • figure 1
Is this relevant?
Highly Cited
2002
Highly Cited
2002
  • S. Nakajima
  • First International Symposium on Cyber Worlds…
  • 2002
  • Corpus ID: 16999815
Web service is an emerging software technology to use remote services in the Internet. As it becomes pervasive, some "language… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
This dissertation describes research into the effective application of model checkers, smart computer programs which can be used… Expand
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 2.1
  • figure 2.2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We describe a tool, called AX, that can be used in combination with the model checker Spin to efficiently verify logical… Expand
  • table 1
  • table 2
Is this relevant?
Highly Cited
1998
Highly Cited
1998
We translate statecharts into PROMELA, the input language of the SPIN verification system, using extended hierarchical automata… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1997
Highly Cited
1997
In the field of aquatic toxicology, quantitative structure-activity relationships (QSARs) have developed as scientifically… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?