Statistics for Top 99 Results
Filter:
Domain Registration Date Filter
1
Doc Formal: Harness the power of invariant-based bug hunting
https://www.techdesignforums.com/practice/technique/doc-formal-harness-the-power-of-invariant-based-bug-hunting/
2
[PDF] Invariants and State in Testing and Formal Methods
https://homes.cs.washington.edu/~mernst/meetings/paste2005/slides/hamlet-paste2005-slides.pdf
3
Formally Verifying Loops: Part 2 - Runtime Verification
https://runtimeverification.com/blog/formally-verifying-loops-part-2
5
[PDF] Formal Verification of the Stall Invariant Property for Latency ...
https://www.csl.cornell.edu/~cbatten/pdfs/pan-stall-invariant-slides-memocode2023.pdf
6
Formal Verification Methods in industry : r/compsci - Reddit
https://www.reddit.com/r/compsci/comments/sh9owb/formal_verification_methods_in_industry/
7
What is an invariant? - Stack Overflow
https://stackoverflow.com/questions/112064/what-is-an-invariant
9
Formally verify Haskell code - Learn
https://discourse.haskell.org/t/formally-verify-haskell-code/7301
10
Formal verification vs. formal methods? - General Electronics
https://forum.contextualelectronics.com/t/formal-verification-vs-formal-methods/2972
11
Guiding the proof? - SystemVerilog - Siemens Verification Academy
https://verificationacademy.com/forums/t/guiding-the-proof/38781
13
The problem with invariants is that they change over time
https://surfingcomplexity.blog/2024/03/26/the-problem-with-invariants-is-that-they-change-over-time/
14
[PDF] Formally Verifying Data and Control With Weak Reachability Invariants
https://apps.dtic.mil/sti/tr/pdf/ADA400377.pdf
15
Formal Verification: The Gap Between Perfect Code and Reality
https://news.ycombinator.com/item?id=15999066
16
Pro tip: Implementing stateful invariant testing with Halmos
https://a16zcrypto.com/posts/article/implementing-stateful-invariant-testing-with-halmos/
17
The call for invariant-driven development - The Trail of Bits Blog
https://blog.trailofbits.com/2025/02/12/the-call-for-invariant-driven-development/
18
Invariant fails but assert before loop verifies - Stack Overflow
https://stackoverflow.com/questions/63559863/invariant-fails-but-assert-before-loop-verifies
19
[PDF] Learning Loop Invariants for Program Verification - UPenn CIS
https://www.cis.upenn.edu/~mhnaik/papers/neurips18.pdf
20
Invariant sharing to speed up formal verification - Google Patents
https://patents.google.com/patent/US20150213167A1/en
21
[PDF] Towards Automatic Inference of Inductive Invariants
https://web.eecs.umich.edu/~manosk/assets/papers/i4-hotos19.pdf
22
[PDF] Formal Verification with KeY: A Tutorial
https://formal.kastel.kit.edu/~beckert/pub/keytutorial2016.pdf
23
Verification example with invariants - ResearchGate
https://www.researchgate.net/figure/erification-example-with-invariants_fig5_341473062
24
I wrote my Master's thesis about Rust verification, exploring type ...
https://www.reddit.com/r/rust/comments/1ainrpg/i_wrote_my_masters_thesis_about_rust_verification/
25
[PDF] Incremental Formal Verification of Hardware - UT Computer Science
https://www.cs.utexas.edu/~hunt/FMCAD/fmcad11/papers/8.pdf
26
[PDF] Formal Verification Tutorial – Breaking Through the Knowledge Barrier
https://dvcon-proceedings.org/wp-content/uploads/formal-verification-tutorial-breaking-through-the-knowledge-barrier-presentation.pdf
27
[PDF] Inferring Inductive Invariants from Phase Structures - James Wilcox
https://jamesrwilcox.com/phases.pdf
30
Basics of specification and verification: Lecture 1, loop invariants
https://www.youtube.com/watch?v=J0FGb6PyO_k
32
The importance of liveness properties (with TLA+ Part 1)
https://jack-vanlightly.com/blog/2023/10/10/the-importance-of-liveness-properties-part1
33
Why fuzzing over formal verification? - The Trail of Bits Blog
https://blog.trailofbits.com/2024/03/22/why-fuzzing-over-formal-verification/
34
Make formal verification and provably correct software practical and ...
https://news.ycombinator.com/item?id=31543953
35
Formally Verifying Loops: Part 1 - Runtime Verification
https://runtimeverification.com/blog/formally-verifying-loops-part-1
36
[PDF] Formal Verification of the Stall Invariant Property for Latency ...
https://www.csl.cornell.edu/~cbatten/pdfs/pan-stall-invariant-memocode2023.pdf
37
[PDF] On Invariants to Characterize the State Space for Sequential Logic ...
https://www2.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-46.pdf
39
[PDF] Verification of object-oriented programs with invariants - Washington
https://courses.cs.washington.edu/courses/cse503/10wi/readings/boogie-methodology.pdf
40
[PDF] I4: Incremental Inference of Inductive Invariants for Verification of ...
https://web.eecs.umich.edu/~barisk/public/i4.pdf
41
A Learning-Based Approach to Synthesizing Invariants for ...
https://link.springer.com/article/10.1007/s10817-020-09570-z
42
[PDF] Methods and Tools for the Formal Verification of Software
https://www.ac.tuwien.ac.at/files/pub/rainer-harbach_11.pdf
43
A Practical Introduction to Formal Development and Verification of ...
https://secdev.ieee.org/wp-content/uploads/2019/09/SPARK-Tutorial-Slides.pdf
44
5.3. Computer Program Verification — Discrete Structures for ...
https://www.csd.uwo.ca/~abrandt5/teaching/DiscreteStructures/Chapter5/program-verification.html
45
Why Formal Verification Is a Must for DeFi and Web3 Security - Certora
https://www.certora.com/blog/formal-verification
46
Formal Verification - an overview | ScienceDirect Topics
https://www.sciencedirect.com/topics/computer-science/formal-verification
47
[PDF] Functional Verification of Class Invariants in CleanJava
https://scholarworks.utep.edu/cgi/viewcontent.cgi?article=1615&context=cs_techrep
48
[PDF] The KIND 2 Model Checker - University of Iowa
https://homepage.cs.uiowa.edu/~tinelli/papers/ChaEtAl-CAV-16.pdf
49
The pragmatic magic of semi-formal methods - Antithesis
https://antithesis.com/blog/2025/semi_formal_proofs/
50
[PDF] Invariant Synthesis for Sound but Incomplete Verification Engines
http://madhu.cs.illinois.edu/NPInv.pdf
51
[PDF] Using Krakatoa for teaching formal verification of Java programs
https://www.unirioja.es/cu/jodivaso/publications/2019/FMTea.pdf
52
[PDF] Automating Program Verification and Repair Using Invariant ...
https://digitalrepository.unm.edu/cgi/viewcontent.cgi?referer=&httpsredir=1&article=1043&context=cs_etds
53
[PDF] Lemur: Integrating Large Language Models in Automated Program ...
https://mathai2023.github.io/papers/28.pdf
54
[PDF] Synthesizing Environment Invariants for Modular Hardware ...
https://oar.princeton.edu/bitstream/88435/pr1s546/1/EnvironmentInvariantModularHardwareVerif.pdf
55
[PDF] Incremental verification with mode variable invariants in state ...
https://kind.cs.uiowa.edu/papers/KGTW%2B12.pdf
56
[PDF] Software Verification Using k-Induction - Department of Computing
https://www.doc.ic.ac.uk/~afd/papers/2011/SAS.pdf
57
Formal Verification of Iterative Algorithms in Microprocessors
https://dl.acm.org/doi/pdf/10.1145/337292.337388
58
Automated Synthesis of Formally Verified Multi-Abstraction Function ...
https://arxiv.org/html/2506.09550v1
59
Formal verification of TLS 1.2 by automatically generating proof scores
https://www.sciencedirect.com/science/article/pii/S0167404822003029
60
Using loop invariants for verification in Reach
https://developer.algorand.org/tutorials/using-loop-invariants-for-verification-in-reach/
61
[PDF] Survey of Existing Tools for Formal Verification - OSTI
https://www.osti.gov/servlets/purl/1166644
62
Formal Verification & Symbolic Execution | W/ Trail Of Bits - YouTube
https://www.youtube.com/watch?v=izpoxfTSaFs
63
CodeLLMPaper/data/papers/labels/program_verification.md at main
https://github.com/PurCL/CodeLLMPaper/blob/main/data/papers/labels/program_verification.md
66
Invariant Detection with Program Verification Tools - ResearchGate
https://www.researchgate.net/publication/334129794_Invariant_Detection_with_Program_Verification_Tools
67
[PDF] Anwendung formaler Verifikation
https://formal.kastel.kit.edu/teaching/AnwendungFormalerVerifikation2015/05_EventB.pdf
68
Verifying recurrent neural networks using invariant inference by Guy ...
https://www.youtube.com/watch?v=VAKELY_29fg
69
Formal Verification in Move: Verifying Programs with Loops
https://blog.movementlabs.xyz/article/formal-verification-move-verifying-programs-with-loops
70
SMTChecker and Formal Verification — Solidity 0.8.31 documentation
https://docs.soliditylang.org/en/latest/smtchecker.html
71
Customized Formal Verification: The Five Step Process - CertiK
https://www.certik.com/resources/blog/customized-formal-verification-the-five-step-process
72
[PDF] Daniel Neider - Intelligent Formal Methods - kluedo
https://kluedo.ub.rptu.de/files/8178/Daniel%2BNeider%2B-%2BIntelligent%2BFormal%2BMethods.pdf
73
An example of something you can formally verify with proofs in ...
https://cs.stackexchange.com/questions/93400/an-example-of-something-you-can-formally-verify-with-proofs-in-software-developm
74
[PDF] A Short Introduction to Formal Methods - The IMDEA Software Institute
https://software.imdea.org/~mcarro/Material/Formal_Methods/Formal_Methods_Intro/formal-methods_3.pdf
75
A look into formal verification of smart contracts using Certora
https://dev.to/spalladino/a-look-into-formal-verification-of-smart-contracts-using-certora-3o8g
76
[PDF] Fast and Reliable Formal Verification of Smart Contracts with the ...
https://cs.uwaterloo.ca/~m285xu/assets/publication/mvp-paper.pdf
77
Smart Contract Testing: Formal Verification & Symbolic Execution
https://www.cyfrin.io/blog/solidity-smart-contract-formal-verification-symbolic-execution
78
[PDF] seL4: Formal Verification of an OS Kernel
http://web1.cs.columbia.edu/~junfeng/09fa-e6998/papers/sel4.pdf
79
Combining AI with formal verification for efficient migration of legacy ...
https://www.codemetal.ai/research/combining-ai-with-formal-verification-for-efficient-migration-of-legacy-code
80
[PDF] Verifying Recurrent Neural Networks Using Invariant Inference
http://theory.stanford.edu/~barrett/pubs/JBK20.pdf
81
[PDF] Deductive Evaluation: Implicit Code Verification with Low User Burden
https://ntrs.nasa.gov/api/citations/20160007713/downloads/20160007713.pdf
82
[PDF] Using Invariant Taxonomies to Streamline Distributed Protocol Proofs
https://www.usenix.org/system/files/osdi24-zhang-nuda.pdf
83
[PDF] Formal Methods Meet Domain Specific Languages - Le LIP6
https://www.lip6.fr/Julia.Lawall/ifm.pdf
85
Ubiquitous Abstraction: A New Approach to Mechanized Formal ...
https://www.computer.org/csdl/proceedings-article/icfem/1998/91980176/12OmNzwZ6mz
86
[PDF] Data-Driven Learning of Invariants and Specifications
https://web.cs.ucla.edu/~todd/theses/padhi_dissertation.pdf
87
Loop Invariant Condition with Examples | GeeksforGeeks
https://www.geeksforgeeks.org/loop-invariant-condition-examples-sorting-algorithms/
88
Solana Formal Verification: A Case Study - OtterSec
https://osec.io/blog/2023-01-26-formally-verifying-solana-programs/
89
[PDF] A Generate-Combine-Check Framework for Loop Invariant Inference
https://cs.nju.edu.cn/yuanyao/static/issta2025.pdf
90
[PDF] Verification and refutation of C programs based on k-induction and ...
https://d-nb.info/1214506089/34
91
[PDF] Strengthened State Transitions for Invariant Verification in Practical ...
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=af6f9197c9493a07146eecc9af0eeae94c366de1
92
[PDF] Formal Verification of Memory Preservation of x86-64 Binaries
https://www.ssrg.ece.vt.edu/papers/safecomp19.pdf
93
[PDF] A Case Study Using the SPARK Auto-Active Verification Toolset
https://scholar.afit.edu/cgi/viewcontent.cgi?article=5889&context=etd
94
Invariants – Knowledge and References - Taylor & Francis
https://taylorandfrancis.com/knowledge/Engineering_and_technology/Engineering_support_and_special_topics/Invariants/
95
[PDF] Automatic Inductive Invariant Generation for Scalable Dataflow ...
https://dynamo.ethz.ch/wp-content/uploads/sites/22/2023/10/Xu_IWLS23_Inductive_Invariants.pdf
96
[PDF] Implementation and evaluation of bounded invariant model ...
https://www.diva-portal.org/smash/get/diva2:1592825/FULLTEXT02
98
[PDF] Verification of Object Oriented Programs Using Class Invariants
https://dspace.library.uu.nl/bitstream/handle/1874/19436/bijlsma_00_verification.pdf?sequence=1
99
Applying formal methods at Input | Output: real-world examples
https://iohk.io/en/blog/posts/2024/11/26/applying-formal-methods-at-input-output-real-world-examples/