Model Checking
(Up) | See also: Logic, Formal Specification, Theorem Proving, TLA(plus)
Web resources
Alloy (specification language) - Wikipedia
multi tasking - Help understanding Petersons Algorithm for N Processes - Computer Science Stack Exchange ★ 💭
The Omega Library Interface Guide ★
Repositories
(in x86) zwegner/x86-sat: Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs ★★★
Papers
Lecture Notes on CTL Model Checking ★
Model Checking CTL is Almost Always Inherently Sequential 💭
Cycle Detection in Computation Tree Logic ★ 💭
Direct Model-checking of SysML Models ★ 💭
(in Modal Logic) Modal Mu-Calculi (online @ www.julianbradfield.org) 💭
(in Software Engineering) Use of Formal Methods at Amazon Web Services (online @ lamport.azurewebsites.net) ★★★ 💭