Reaction

BasisOrg's work on formal software verification gets an enthusiastic mention

A user described the people behind the work as colleagues and quoted another post.

2 Sources, 1h ago, first seen 1h ago

TLDR

A user expressed excitement about colleagues' work at BasisOrg on formal verification of software and quoted another post about it.

Today's Rank

—

Not ranked yet

Combined views

—

2 Sources, first seen 1h ago

likes

2 Sources

@e_mackevicius🧮Really excited about this work by colleagues at @BasisOrg about formal verification of software 🧮1h

@AdamMarblestoneRT @e_mackevicius: 🧮Really excited about this work by colleagues at @BasisOrg about formal verification of software 🧮1h

Today's Rank

—

Not ranked yet

Combined views

—

2 Sources, first seen 1h ago

— likes

Today's Rank

—

Not ranked yet

Today's Rank

—

Not ranked yet

—

— comments

— saves

— reposts

— comments

— saves

— reposts

Sentiment

Positive——Negative

Summary

Not enough discussion yet.

No sentiment analysis available yet.

Sentiment

Positive——Negative

Summary

Not enough discussion yet.

No sentiment analysis available yet.

2 Sources

@e_mackevicius🧮Really excited about this work by colleagues at @BasisOrg about formal verification of software 🧮1h

@AdamMarblestoneRT @e_mackevicius: 🧮Really excited about this work by colleagues at @BasisOrg about formal verification of software 🧮1h

2 Sources

@e_mackevicius🧮Really excited about this work by colleagues at @BasisOrg about formal verification of software 🧮1h

@AdamMarblestoneRT @e_mackevicius: 🧮Really excited about this work by colleagues at @BasisOrg about formal verification of software 🧮1h

Sentiment

Positive——Negative

Summary

Not enough discussion yet.

No sentiment analysis available yet.

Sentiment

Positive——Negative

Summary

Not enough discussion yet.

No sentiment analysis available yet.

2 Sources

@e_mackevicius🧮Really excited about this work by colleagues at @BasisOrg about formal verification of software 🧮1h

@AdamMarblestoneRT @e_mackevicius: 🧮Really excited about this work by colleagues at @BasisOrg about formal verification of software 🧮1h