Language Theory

Feeds to Scour
SubscribedAll
Scoured 10 posts in 27.1 ms

ESBMC-PLC: Formal Verification of IEC 61131-3 Ladder Diagram Programs Using SMT-Based Model Checking

聽馃幇Bytecode VMs 聽Content type: Academic
arxiv.org路

AWS Nitro Isolation Engine: Formally verifying the hypervisor in the AWS Nitro System

聽馃Зprogramming 聽Content type: Blog
aws.amazon.com路

Control structures in programming languages From goto to algebraic effects

聽馃Зprogramming
xavierleroy.org路路Lobsters, Hacker News

Deconstructing Datalog

聽馃Зprogramming
rntz.net路路Lobsters, Hacker News

Cranelift

聽鈿欙笍Compilers 聽6 articles covering this post
cranelift.dev路路Hacker News路Cited by 6 articles路Covers: How do I get started?, GCC GNU website is down +2 more

The Complexity of Bisimilarity and Model Checking in Finitary Diagrams

聽鈿欙笍Compilers 聽Content type: Academic
arxiv.org路

HierSVA: A Data Synthesis Pipeline, Dataset, and Benchmark for LLM-Driven Hierarchical Hardware Formal Verification

聽馃Зprogramming 聽Content type: Academic
arxiv.org路

A Correct Algorithm for Identifying Independent Variable Sets in Reactive Systems

聽鈿欙笍Compilers 聽Content type: Academic
arxiv.org路

Quasilinear Equivalence Checking for Detector Error Models

聽馃Зprogramming 聽Content type: Academic
arxiv.org路

A Predicate-Based Model for Computation over State Spaces

聽馃Зprogramming 聽Content type: Academic
arxiv.org路

No more posts from cpt's subscribed feeds.

Scour all 25306 feedsLearn more about Feeds

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help