Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.prolog > #15028

Closing the abstract interpretation GAP (Re: Boris / EricGT: Why dont you tap into TAP?)

Show all headers | View raw

Hi,

The lore if there were no abstract interpretation:

"To prove the correctness of a program is to demonstrate,
through impeccable mathematical techniques, that it has
no bugs. To test a program is to run it with the expectation
of discovering bugs. These two paths to software reliability
seem to diverge from the very start: if you have proved your
program correct, it is fruitless to comb it for bugs; and
if you are testing it, that surely must be a sign that you
have given up on any hope to prove its correctness.
Accordingly, proofs and tests have, since the onset of
software engineering research, been pursued by distinct
communities using different kinds of techniques and tools."

But there are verification techniques that work with
abstract interpretation, sometimes confusingly also
called predicate abstraction. Or the requirements and

environment assumptions might be based on simplifications,
the reflecting formally the reality in the wild. In the
end formal methods might not yield the same demonstration

power than one  would expect from the above lore. So what
does the TAP conference offer:

Synergistic Techniques and Tools

     Combination of model checking, theorem proving,
         and runtime verification
     Synergies between symbolic execution, fuzzing, and formal analysis
     Test-case generation from formal specifications
     Using test execution results to guide or automate proof discovery
     Static analysis for test-suite reduction,
         prioritization, and optimization
     Verification-based and property-based testing
     Formal methods for testing AI/ML-based systems
     AI/ML techniques for enhancing formal verification and testing
     Derivation of specifications and contracts from tests
     Combination of static and dynamic analysis for
         security vulnerability detection

Have Fun!

Bye

Back to comp.lang.prolog | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Who will win the new Prolog race? SWI or Scryer? Mild Shock <janburse@fastmail.fm> - 2025-09-28 08:57 +0200
  The only problem is, Rust is shiiiit (Was: Who will win the new Prolog race? SWI or Scryer?) Mild Shock <janburse@fastmail.fm> - 2025-09-28 09:01 +0200
    Recent hybrid: Python beats Rust (Was: The only problem is, Rust is shiiiit) Mild Shock <janburse@fastmail.fm> - 2025-09-28 09:13 +0200
  Trealla drastically beats Scryer [Jaffar's Algorithm] (Re: Who will win the new Prolog race? SWI or Scryer? Mild Shock <janburse@fastmail.fm> - 2025-09-29 12:19 +0200
    Boris the Loris and the American Fuzzy Lop (Was: Trealla drastically beats Scryer [Jaffar's Algorithm]) Mild Shock <janburse@fastmail.fm> - 2025-09-29 12:54 +0200
      Was Boris living under a rock, how many Fuzzy Testing tools? (Was: Boris the Loris and the American Fuzzy Lop) Mild Shock <janburse@fastmail.fm> - 2025-09-29 12:59 +0200
        Not a Nazi-Retard, maybe a payed Troll on Putins payroll (Was: Was Boris living under a rock, how many Fuzzy Testing tools?) Mild Shock <janburse@fastmail.fm> - 2025-09-29 13:07 +0200
      Boris / EricGT: Why dont you tap into TAP? (Was: Boris the Loris and the American Fuzzy Lop) Mild Shock <janburse@fastmail.fm> - 2025-11-18 23:00 +0100
        Closing the abstract interpretation GAP (Re: Boris / EricGT: Why dont you tap into TAP?) Mild Shock <janburse@fastmail.fm> - 2025-11-18 23:12 +0100
    Fast, but not correct implementation (Was: Trealla drastically beats Scryer [Jaffar's Algorithm]) Mild Shock <janburse@fastmail.fm> - 2025-09-30 21:39 +0200
      Boris the Loris saw it all comming [Weak Prolog Community] (Was: Fast, but not correct implementation) Mild Shock <janburse@fastmail.fm> - 2025-09-30 21:53 +0200
  War between Scryer Prolog and Ciao Prolog [9:0 Triska vs Hermenegildo] (Was: Who will win the new Prolog race? SWI or Scryer?) Mild Shock <janburse@fastmail.fm> - 2025-11-19 12:49 +0100
    Useless as the Thirty Years War / Generalized Facts (Was: War between Scryer Prolog and Ciao Prolog) Mild Shock <janburse@fastmail.fm> - 2025-11-19 13:11 +0100
  The Guerilla tactics of SWI are amazing: Shell India? (Was: Who will win the new Prolog race? SWI or Scryer?) Mild Shock <janburse@fastmail.fm> - 2025-11-24 15:22 +0100
    The SWI7 exotism (dicts, etc..) has no value? (Was: The Guerilla tactics of SWI are amazing: Shell India?) Mild Shock <janburse@fastmail.fm> - 2025-11-24 15:41 +0100
      My new TinyCLP is much faster [100% Prolog] (Was: The SWI7 exotism (dicts, etc..) has no value?) Mild Shock <janburse@fastmail.fm> - 2025-11-24 21:27 +0100
  Railgun CLP versus Scryer Prolog [Euler #30 Variant] (Was: Who will win the new Prolog race?) Mild Shock <janburse@fastmail.fm> - 2026-01-30 02:10 +0100

csiph-web