i i “p02c00˙bmc” — [removed] — 10:13 — page 457 — - Computation tree logic - Document - PDFSEARCH.IO

First Page	Meta Content
	i i “p02c00˙bmc” — [removed] — 10:13 — page 457 — #3 i Add to Reading List Document Date: 2011-07-05 08:44:48 Open Document File Size: 491,85 KB Share Result on Facebook Company Toby Walsh (Eds.) IOS Press / CNF / IOS Press / / IndustryTerm reactive systems / model checking algorithm / related applications / synchronous systems / / Person Hans van Maaren / / ProgrammingLanguage Verilog / / Technology model checking algorithm / Verilog / / SocialTag Logic Logic in computer science Linear temporal logic Model checkers Model checking Computation tree logic Stable model semantics Modal logic SPIN model checker Temporal logic

i i “p02c00˙bmc” — [removed] — 10:13 — page 457 — #3 iAdd to Reading List