Promela

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

Field Hierarchy

Parent
Computer science 54.8M papers	Mathematics 21.1M papers	Programming language 7.2M papers	Algorithm 4.5M papers
Theoretical computer science 615k papers	Model checking 19.9k papers	Formal verification 14.6k papers
Current
Promela 558 papers
Child

Trends

Notes

History