Model Checking
(Up) | Wikipedia: Model checking | See also: Logic, Formal Specification, Theorem Proving, TLA(plus)
Web resources
Alloy (specification language) - Wikipedia
Help understanding Petersons Algorithm for N Processes ★ 💭
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) ★★★ 💭
History of
by-topic
/
Model Checking
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Rate a paper (the handbook chapter on modal mu-calculus). Chris Pressey 8 months ago
- Add some web resources, trim titles of others. Chris Pressey 1 year, 4 months ago
- Put the Wikipedia link, when it exists, in the "see-also bar". Chris Pressey 1 year, 4 months ago
- When rebuilding, rewrite Markdown documents according to schema. Chris Pressey 1 year, 4 months ago
- Remove placeholders that are no longer needed with Feedmark 0.16. Chris Pressey 1 year, 4 months ago
- Fix implementation of make_anchor. Feedmark maintainers take note! Chris Pressey 1 year, 6 months ago
- Fix commentary links. Chris Pressey 1 year, 6 months ago
- Extract ratings to own files. Chris Pressey 1 year, 6 months ago
- Rename commentary files. Chris Pressey 1 year, 6 months ago
- Link to commentary on entries that have a detectable amount of it. Chris Pressey 1 year, 9 months ago
- Add 2 Games and a PL repository, and sort secondary entries. Chris Pressey 1 year, 9 months ago
- Show ratings on books and papers too. Chris Pressey 1 year, 9 months ago
- Render rating next to each entry that has one, in the READMEs. Chris Pressey 1 year, 9 months ago
- Link to the originating topic, for secondary-topic entries. Chris Pressey 1 year, 9 months ago
- Resources in multiple topics are now rendered in multiple READMEs. Chris Pressey 1 year, 9 months ago
- Add 3 papers and 2 web pages, Requirements and Model Checking. Chris Pressey 1 year, 11 months ago
- Format interlinks more usefully. Chris Pressey 2 years ago
- Update by-topic/Model Checking/commentary/Chris Pressey.md cpressey 2 years ago
- Rename Specification category to Formal Specification. Chris Pressey 2 years ago
- Add two web pages, one of which is Top Rated. Chris Pressey 2 years ago
- Introduce TLA+ category, and add 1991 paper by Lamport on TLA. Chris Pressey 2 years ago
- Checkpoint removing `src` directories. Chris Pressey 2 years ago
- Fix link. Chris Pressey 2 years ago
- Link back up, add "Web resources" heading to READMEs. Chris Pressey 2 years ago
- Link see-also links to anchor Chris Pressey 2 years ago
- Checkpoint migrating files into `by-topic` directory. Chris Pressey 2 years ago