Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in formal-methods
Proving equivalence of programs
Nov 10, 2022
proof
formal-verification
formal-methods
proof-of-correctness
Splitting a test to a set of smaller tests
Nov 07, 2022
unit-testing
testing
automated-tests
formal-methods
formal-verification
Formal semantics of CSS box positioning
Nov 06, 2022
css
formal-methods
formal-semantics
event-b: is it possible generate sequence from ... to ... of prime numbers via lambda in one expression?
Nov 04, 2022
lambda
sequence
primes
formal-methods
event-b
Using forall within recursive Function definition
Sep 29, 2021
coq
formal-methods
coq-plugin
Tool for model checking large, distributed C++ projects such as KDE?
Aug 14, 2021
c++
static-analysis
formal-methods
formal-verification
model-checking
Logic for software verification
Jan 24, 2020
logic
verification
formal-methods
Should I use formal methods on my software project? [closed]
Oct 28, 2022
web-applications
modeling
requirements
formal-methods
formal-verification
Formal Methods and Enterprises [closed]
Oct 21, 2022
formal-methods
Forall introduction in coq?
Oct 17, 2021
computer-science
formal-methods
coq
Experiences with using Alloy in real-world projects
Jan 17, 2022
formal-methods
model-driven-development
alloy
What is the best way of determining a loop invariant?
Mar 23, 2022
loops
invariants
formal-methods
loop-invariant
Teaching programming and formal methods [closed]
Apr 05, 2022
programming-languages
dijkstra
formal-methods
Formal methods in C++ for safety critical software
Sep 05, 2022
c++
c
formal-methods
safety-critical
Can Haskell functions be proved/model-checked/verified with correctness properties?
Mar 20, 2017
testing
haskell
functional-programming
formal-methods
formal-verification
What are the strengths and weaknesses of the Isabelle proof assistant compared to Coq?
Oct 31, 2022
coq
isabelle
formal-methods
What are the most interesting equivalences arising from the Curry-Howard Isomorphism?
Oct 06, 2022
functional-programming
formal-methods
curry-howard