formalmethods
Home
Recent
Comments
Search
Login
Stories
tagged
as
formalmethods
– Formal methods
Tip: read stories across multiple tags with
/t/tag1,tag2
15
TLA+ for startups (part 1)
☶
formalmethods
medium.com
via
hwayne
46 hours ago
|
cached
|
no comments
0
8
CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification
assembly
c
formalmethods
sf.snu.ac.kr
via
sanxiyn
2 days ago
|
cached
|
no comments
0
23
Jupyter kernel for TLA+
formalmethods
python
github.com
via
hwayne
6 days ago
|
cached
|
no comments
0
11
TLA+ model checking made symbolic
formalmethods
blog.acolyer.org
via
hwayne
10 days ago
|
cached
|
no comments
0
6
Formality in requirements: new publication
compsci
formalmethods
programming
bertrandmeyer.com
via
felixyz
10 days ago
|
cached
|
1 comment
1
5
Automatic Loop Invariant Generation and Refinement through Selective Sampling (2017)
☶
pdf
ai
c
formalmethods
testing
lijiaying.github.io
via
nickpsecurity
11 days ago
|
cached
|
1 comment
1
7
How to make your papers run: Executable formal semantics for your language
formalmethods
plt
tweag.io
via
aborgna
11 days ago
|
cached
|
1 comment
1
6
Building Your First Program Synthesizer
formalmethods
blog.sigplan.org
via
GeoffWozniak
12 days ago
|
cached
|
no comments
0
3
Automatically Testing Implementations of Numerical Abstract Domains (2018)
☶
pdf
formalmethods
testing
mariachris.github.io
via
nickpsecurity
18 days ago
|
cached
|
no comments
0
8
A Clever Way To Find Compiler Bugs
compilers
formalmethods
rjlipton.wordpress.com
via
calvin
19 days ago
|
cached
|
no comments
0
3
Differentially Testing Soundness and Precision of Program Analyzers
formalmethods
arxiv.org
via
sanxiyn
19 days ago
|
cached
|
no comments
0
24
TLA+ Video Course by Leslie Lamport
debugging
distributed
formalmethods
lamport.azurewebsites.net
via
as1ndu
19 days ago
|
cached
|
1 comment
1
19
Stacked Borrows: An Aliasing Model for Rust (the paper)
pdf
formalmethods
rust
ralfj.de
via
notriddle
20 days ago
|
cached
|
1 comment
1
12
Grappling with infinity in constraint solvers
compsci
formalmethods
math
programming
tuzz.tech
authored by
tuzz
22 days ago
|
cached
|
2 comments
2
6
A Domain-Specific Language for Verifying Software Requirement Constraints
pdf
formalmethods
arxiv.org
via
ToKi
22 days ago
|
cached
|
1 comment
1
9
Modeling Systems with TLA+
video
elixir
formalmethods
youtube.com
via
hwayne
24 days ago
|
cached
|
no comments
0
11
Formal Verification of a Constant-Time Preserving C Compiler
formalmethods
eprint.iacr.org
via
sanxiyn
24 days ago
|
cached
|
1 comment
1
14
Mutation Analysis for Coq
☶
formalmethods
cozy.ece.utexas.edu
via
derek-jones
25 days ago
|
cached
|
no comments
0
2
Certified concurrent abstraction layers (2018)
☶
pdf
c
formalmethods
osdev
cs.columbia.edu
via
nickpsecurity
27 days ago
|
cached
|
no comments
0
3
Parallel Commits: An Atomic Commit Protocol For Globally Distributed Transactions
databases
distributed
formalmethods
cockroachlabs.com
via
hwayne
1 month ago
|
cached
|
no comments
0
5
Metamath Zero: The Cartesian Theorem Prover
☶
pdf
formalmethods
math
arxiv.org
via
pushcx
1 month ago
|
cached
|
no comments
0
3
Symbolically executing a fuzzy tyrant
☶
slides
video
formalmethods
security
youtube.com
authored by
lojikil
1 month ago
|
cached
|
1 comment
1
4
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
☶
pdf
formalmethods
programming
prosecco.gforge.inria.fr
via
nickpsecurity
1 month ago
|
cached
|
2 comments
2
5
Haskell Programming With Tests, and Some Alloy
pdf
formalmethods
haskell
testing
staff.fnwi.uva.nl
via
felixyz
1 month ago
|
cached
|
no comments
0
2
Abstract State Machines for the Classroom: The Basics (2007)
pdf
formalmethods
programming
informatik.hu-berlin.de
via
nickpsecurity
1 month ago
|
cached
|
no comments
0
Page 2 >>