About Us
Products
Articles
News
Contact
Support
List of articles
February 2023
StreamDB - persistency for simple projects
December 2022
YAMI4 2.0.0 - new features and changes
January 2020
YAMI4 1.12.0 - new features and changes
May 2019
YAMI4 1.11.0 - new features and changes
January 2019
Loops and Quantified Statements
(FMT dev blog)
December 2018
Ad Hoc Ghosts and Loop Variants
(FMT dev blog)
November 2018
Supporting Loop Invariants
(FMT dev blog)
Fixing Loops
(FMT dev blog)
September 2018
Supporting Quantified Statements, Part 5
(FMT dev blog)
Supporting Quantified Statements, Part 4
(FMT dev blog)
August 2018
Supporting Quantified Statements, Part 3
(FMT dev blog)
July 2018
Supporting Quantified Statements, Part 2
(FMT dev blog)
Supporting Quantified Statements, Part 1
(FMT dev blog)
June 2018
Basic Support For Ghost Variables
(FMT dev blog)
May 2018
Implementing Logic Reachability Checks
(FMT dev blog)
January 2017
Very Simple Scheduler
- bonus chapter for the Ada on Cortex-M tutorial
January 2015 - March 2016
Ada on Cortex-M - tutorial
(on-line book)
September 2014
YAMI4 Tip #8 - Easy Sniffer
April 2014
Cheating With Asserts
YAMI4 Tip #7 - Connect Or Not
March 2014
YAMI4 Tip #6 - Taking Care Of UDP
February 2014
YAMI4 Tip #5 - Let Me Think
October 2013
YAMI4 Tip #4 - Truly Non-Blocking Send
July 2013
Ada-Python Demo
YAMI4 Tip #3 - Shallow Parameters
June 2013
YAMI4 Tip #2 - Default Objects
YAMI4 Tip #1 - Connection Timeouts
April 2013
YAMI4 vs. ZeroMQ
100kB Message Broker
October 2012
How Small Is Your Middleware?
November 2010
Testing Allocation Failures
August 2010
Types Of Middleware
June 2010
Polymorphic Callbacks For Ada/C++ Bindings
May 2010
Ada-Python Binding
April 2010
Avoiding Destruction Races
March 2010
RPC vs Messaging
February 2010
What Happened To R-Value
January 2010
Better Allocator API
December 2009
What Is Wrong With IDL
November 2009
Defending Direct Messaging
March 2009
Mythical Code Coverage
July 2008
Strncpy and Safety
June 2008
Exception Chaining for C++
May 2008
Atomic Log Stream for C++
Feb 2008
Visitor Revisited
Feb 2008
Possible Syntax for C++ Lambda
Jan 2008
Possible Syntax for C++ Threads
Jan 2008
Global Objects and Exceptions
Sep 2007
Security Boundaries, Encapsulation and SQL Injection
