-
1
المؤلفون: Alastair F. Donaldson, Simon J. Gay
المصدر: Science of Computer Programming. 75(11):1165-1191
مصطلحات موضوعية: Model checking, Soundness, Theoretical computer science, Programming language, Computer science, Type inference, Specification language, computer.software_genre, Promela, Data type, Computer science (mathematics), Set (abstract data type), Spin, Type checking, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, SPIN model checker, computer, Software, computer.programming_language