Pages

Promela model for event queue

Event queue source code

Promela model for process_poll()

Promela model for main()

process_poll() source code

Scheduler state machine

Contiki's data structures

Promela model for process list

process list source code

call_process() source code

pThread proctype

call_process() proctype

ISR proctype

exit_process() proctype

exit_process() source code

Promela model for exit_process()

Promela model for process_is_running

process is running source code

Promela model for pThread

do_event() source code