| CARVIEW |
Select Language
HTTP/2 302
date: Wed, 14 Jan 2026 16:53:44 GMT
content-type: text/html;charset=utf-8
location: https://ieeexplore.ieee.org/document/855778/
server: cloudflare
vary: Origin
vary: Accept
expires: Wed, 14 Jan 2026 17:08:19 GMT
permissions-policy: interest-cohort=(),browsing-topics=()
cf-cache-status: DYNAMIC
nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
strict-transport-security: max-age=31536000; includeSubDomains; preload
report-to: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=%2BDrfFNq8dVN4AmiMjXm0c5hL16OTNChwER%2BdGWHfp75650732b1HeCP9GsiIKqWww2K3%2BvmrBJwMiMgcmEWD46cKNRPLqQ%3D%3D"}]}
cf-ray: 9bdea6b5b900c18d-BLR
alt-svc: h3=":443"; ma=86400
HTTP/1.1 301 Moved Permanently
Server: CloudFront
Date: Wed, 14 Jan 2026 16:53:44 GMT
Content-Type: text/html
Content-Length: 167
Connection: keep-alive
Location: https://ieeexplore.ieee.org/document/855778/
X-Cache: Redirect from cloudfront
Via: 1.1 fb6514ed0fa65e8962789d347bfecb50.cloudfront.net (CloudFront)
X-Amz-Cf-Pop: BOM78-P4
X-Amz-Cf-Id: 0KH4WJNRUdbfZ7PurfxCzJQWFCyaW3KIf4kQ6Vxyk1kt7hHXlvIv5Q==
HTTP/2 200
content-type: text/html;charset=UTF-8
date: Wed, 14 Jan 2026 16:53:44 GMT
x-frame-options: SAMEORIGIN
content-language: en
set-cookie: JSESSIONID=6DD396EDB44E808602B732DC57EFF889; Path=/; Secure; HttpOnly;HttpOnly;Secure
set-cookie: ERIGHTS=""; Domain=ieeexplore.ieee.org; Expires=Thu, 01-Jan-1970 00:00:10 GMT; Path=/;HttpOnly;Secure
set-cookie: ERIGHTS=""; Domain=ieeexplore.ieee.org; Expires=Thu, 01-Jan-1970 00:00:10 GMT; Path=/;HttpOnly;Secure
set-cookie: ERIGHTS=""; Domain=ieeexplore.ieee.org; Expires=Thu, 01-Jan-1970 00:00:10 GMT; Path=/;HttpOnly;Secure
set-cookie: AWSALBAPP-0=AAAAAAAAAADwl56YVX6hwdbkonmpxTjY8QefRXp1jOiZXeM4Qmw5c+nsByfnbb6pDhCZbWZVv4tRVSlGxEkxuE6t57aHRC3OqRoJ+NOHjRn8bwDU39JsPb2J4aIEO8qvVch+lAAxyDwgRn/Yc7TPB4W+8p8SxC1sHiPH3Zzp7+rntoSlSee/8dW1fO8Ak5IVI4fz+3a7cDntyzya9Mk9bw==; Expires=Wed, 21 Jan 2026 16:53:44 GMT; Path=/; Secure
set-cookie: AWSALBAPP-1=_remove_; Expires=Wed, 21 Jan 2026 16:53:44 GMT; Path=/; Secure
set-cookie: AWSALBAPP-2=_remove_; Expires=Wed, 21 Jan 2026 16:53:44 GMT; Path=/; Secure
set-cookie: AWSALBAPP-3=_remove_; Expires=Wed, 21 Jan 2026 16:53:44 GMT; Path=/; Secure
set-cookie: WLSESSION=2332127754.47873.0000; expires=Thu, 15-Jan-2026 16:53:44 GMT; path=/; Httponly; Secure
set-cookie: TS016349ac=01f15fc87cd43da78703cc880f6993edfc83225b16cac1559546e015e03605be43d1c61231fc3d1f97039f18391d4c150f0e2fdf19; Path=/; Domain=.ieeexplore.ieee.org
set-cookie: TSaf720a17029=0807dc117eab28003e997215a871c3eca3810ceac37a40b305575ecc5888ab13de33cb35a06df21172fa2db4128c8c76; Max-Age=30; Path=/
set-cookie: TS8b476361027=0807dc117eab200089285e98976873a7a512db370c3de43c176f1905320ec7b129a8d88ce619803408d4afd56c1130001116c5e29a37230c0a30653dae75e3b263e7bc8ebd7b7cfbce9498c84e0f63a7b7850dad1f5caab0db284515533b8c34; Path=/
x-xss-protection: 1
content-security-policy: upgrade-insecure-requests
x-content-type-options: text/html; charset=UTF-8; nosniff
strict-transport-security: max-age=31536000; includeSubDomains
x-cache: Miss from cloudfront
via: 1.1 9f3f4cadb8601c4fc66883a04796dbd0.cloudfront.net (CloudFront)
x-amz-cf-pop: BOM78-P4
x-amz-cf-id: HE6TfmktbboPUb4UkRVhGXpK7PGYsXSObvo651eHyXW30eWIDnEw9Q==
Some strategies for proving theorems with a model checker abstract of invited talk | IEEE Conference Publication | IEEE Xplore
IEEE Account
Purchase Details
Profile Information
Need Help?
- US & Canada: +1 800 678 4333
- Worldwide: +1 732 981 0060
- Contact & Support
- About IEEE Xplore
- Contact Us
- Help
- Accessibility
- Terms of Use
- Nondiscrimination Policy
- Sitemap
- Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.
© Copyright 2026 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.