| 
|
Quote: use SPIN for design and verification of asynchronous process systems using rendezvous, buffered channels, and/or shared variables; design with PROMELA
topics >
all references >
references g-h >
Group:
program proving
Topic:
model checker
Topic:
logic
Topic:
logic programming
Quotation Skeleton
SPIN is a generic verification system that supports … [refs]. SPIN verification models are focused on proving the correctness of … interactions can be specified in SPIN with rendezvous … combination of these. … SPIN accepts design specifications written in the verification … [ref], and it accepts correctness claims specified in the syntax of … [ref]. Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: SPIN represents correctness claims in linear temporal logic (LTL)
Group: program proving (10 topics, 310 quotes)
Topic: model checker (49 items)
Topic: logic (84 items)
Topic: logic programming (34 items)