simplecar
Published:
simplecar is a simple implementation of CAR (Complementary Approximate Reachability), which is a novel safety model checker algorithm and was presented since 2017.
| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://lijwen2748.github.io/tools/
access-control-allow-origin: *
expires: Mon, 29 Dec 2025 23:10:18 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: E6C7:3ABDEF:95114E:A77166:69530801
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 23:00:18 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210064-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767049218.976522,VS0,VE208
vary: Accept-Encoding
x-fastly-request-id: 2c118e0cce74b935c5ffa02cd07733a13c6f849b
content-length: 162
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Tue, 05 Aug 2025 09:08:01 GMT
access-control-allow-origin: *
etag: W/"6891c9f1-26fc"
expires: Mon, 29 Dec 2025 23:10:18 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: B5CC:2680BD:959276:A7F053:69530802
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 23:00:18 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210064-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767049218.198760,VS0,VE210
vary: Accept-Encoding
x-fastly-request-id: 44aa1e7d5ebe94afbb1d55829c07d093a46b61c9
content-length: 3016
Tools - Jianwen Li (李建文) 
- Shanghai, China
- East China Normal University
- ResearchGate
- Github
- Google Scholar
- ORCID
Tools
aalta/aaltaf
Published:
aalta is a SAT-based satisfiability checker for LTL over infinite traces, and aaltaf is for LTL over finite traces.