Back to Results
First PageMeta Content
Software / Ericsson / Erlang / Model checking / Queueing theory / Model checkers / QuickCheck / SPIN model checker / Computing / Statistics / Network performance


McErlang– a tool for model checking Erlang programs in Erlang ˚ Fredlund Lars-Ake Facultad de Inform´atica, Universidad Polit´ecnica de Madrid Clara Benac Earle Departamento de Inform´atica, Universidad Carlos III
Add to Reading List

Document Date: 2006-10-05 09:14:51

Open Document

File Size: 93,43 KB

Share Result on Facebook

City

Madrid / /

IndustryTerm

model checking tool / model checking algorithm / real-time systems / intermediate solution / /

Organization

Universidad Polit´ecnica de Madrid / /

Person

Carlos III / Clara Benac Earle / Hans Svenssons / /

ProgrammingLanguage

Erlang / C / /

Technology

Push-button technology / model checking algorithm / /

SocialTag