McErlang

McErlang is a software model checker for checking programs written in the Erlang programming language. The idea is to replace the part of the standard Erlang runtime system that concerns distribution, concurrency and communication with a new runtime system which simulates processes inside the model checker, and which offers easy access to the program state.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 8 articles )

Showing results 1 to 8 of 8.
Sorted by year (citations)

  1. Caballero, Rafael; Martin-Martin, Enrique; Riesco, Adrián; Tamarit, Salvador: Declarative debugging of concurrent Erlang programs (2018)
  2. De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia: AErlang at work (2017)
  3. Vidal, Germán: Towards Erlang verification by term rewriting (2014)
  4. Castro, David; Gulias, Victor M.; Benac Earle, Clara; Fredlund, Lars-Åke; Rivas, Samuel: A case study on verifying a supervisor component using McErlang (2011) ioport
  5. Derrick, John; Walkinshaw, Neil; Arts, Thomas; Benac Earle, Clara; Cesarini, Francesco; Fredlund, Lars-Ake; Gulias, Victor; Hughes, John; Thompson, Simon: Property-based testing -- the ProTest project (2010) ioport
  6. Guo, Qiang; Derrick, John; Benac Earle, Clara; Fredlund, Lars-Åke: Model-checking Erlang -- a comparison between Etomcrl2 and McErlang (2010) ioport
  7. Haß, Lars Helge; Noll, Thomas: Equational abstractions for reducing the state space of rewrite theories (2009)
  8. Fredlund, Lars-Åke; Svensson, Hans: McErlang, a model checker for a distributed functional programming language (2007) ioport