Promela

https://www.wikidata.org/wiki/Q948666

Field Hierarchy

Parent
Computer science 61.9M papers	Mathematics 21.8M papers	Programming language 7.6M papers	Algorithm 4.6M papers
Theoretical computer science 609k papers	Model checking 20.8k papers	Formal verification 15.4k papers
Current
Promela 590 papers
Child
SPIN model checker 0 papers

Trends

Notes

History