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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
The use of formal methods for developing software is increasing. However in many cases only a model of the system is validated… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 6
  • figure 5
Is this relevant?
2008
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2005
2005
The design process for embedded systems can benefit from the usage of formal methods, if some properties of the systems are… (More)
Is this relevant?
2003
2003
In this paper a compiler from a restricted subset of SPIN's input language Promela into an action planning description language… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
2003
2003
In this paper, the possibility of verifying π-calculus processes via Promela translation is investigated. A general translation… (More)
  • table 1
Is this relevant?
Highly Cited
1998
Highly Cited
1998
We translate statecharts into PROMELA, the input language of theSPIN verification system, using extended hierarchical automata as… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1997
1997
An approach to a formal semantics for PROMELA is presented. The approach uses SOS rules to de ne a labeled transition system… (More)
  • figure 4
  • figure 5
Is this relevant?
1997
1997
This paper demonstrates robustness and e ectiveness of Group Address Registration Protocol (GARP) by successful use of SPIN(3… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
The efficient representation and manipulation of time information is key to any successful implementation of a verification tool… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
1995
1995
Reactive Promela is an extension to the Promela language which lets the user specify conngurations of reactive automata. This… (More)
Is this relevant?