-
-
Recent Posts
- Creating an Emacs package: ‘password-menu’
- Introducing elfeed-curate
- Dealing with ClojureScript Cross-build NPM Dependencies
- On Selecting Clojure
- Full Cycle Teams in a FDA regulated setting
- VirtualBox 6.1.x Windows 10 2004 Upgrade Problem Resolution
- 314 Digits of Pi (Python to Clojure)
- Bioimpedance Analysis to Detect Sleep Apnea
- EEG Devices at CES 2020
- Exploring Clojure (and FP vs OOP)
Popular Posts
- Validation of Off-The-Shelf Software Development Tools
- Software Verification vs. Validation
- Bioimpedance Analysis to Detect Sleep Apnea
- Exploring Clojure (and FP vs OOP)
- Creating an Emacs package: ‘password-menu’
- BCI: Brain Computer Interface
- Introducing elfeed-curate
- OTS/SOUP Software Validation Strategies
- Full Cycle Teams in a FDA regulated setting
- Brain Monitoring News
Categories
- .NET (19)
- Agile (11)
- Clojure (4)
- Cloud Computing (5)
- EEG (26)
- Emacs (2)
- EMR (40)
- FDA (36)
- fMRI (2)
- General (32)
- Google (13)
- GUI (4)
- HCI (12)
- Health 2.0 (4)
- HIPAA (4)
- HL7 (8)
- ICG (2)
- Interoperability (40)
- LINQ (2)
- Medical Devices (54)
- Microsoft (27)
- Networking (5)
- Open Source (8)
- ORM (2)
- PHR (18)
- Programming (46)
- Robotics (4)
- Software Quality (21)
- Technology (17)
- Tools (10)
- Uncategorized (1)
- Vista (2)
- Visual Studio (2)
- WCF (3)
Archives
- April 2024
- October 2023
- October 2022
- March 2021
- January 2021
- May 2020
- March 2020
- February 2020
- January 2020
- January 2019
- August 2018
- July 2018
- March 2018
- September 2017
- February 2017
- January 2017
- December 2016
- September 2016
- April 2016
- March 2016
- December 2015
- September 2015
- August 2015
- April 2015
- February 2015
- January 2015
- December 2014
- November 2014
- October 2014
- September 2014
- August 2014
- July 2014
- June 2014
- April 2014
- March 2014
- February 2014
- January 2014
- December 2013
- October 2013
- September 2013
- August 2013
- July 2013
- June 2013
- May 2013
- February 2013
- January 2013
- December 2012
- August 2012
- July 2012
- June 2012
- May 2012
- March 2012
- February 2012
- January 2012
- December 2011
- November 2011
- October 2011
- September 2011
- August 2011
- July 2011
- June 2011
- May 2011
- April 2011
- March 2011
- February 2011
- January 2011
- December 2010
- November 2010
- October 2010
- September 2010
- August 2010
- July 2010
- June 2010
- May 2010
- April 2010
- March 2010
- February 2010
- January 2010
- December 2009
- November 2009
- October 2009
- September 2009
- August 2009
- July 2009
- June 2009
- May 2009
- April 2009
- March 2009
- February 2009
- January 2009
- December 2008
- November 2008
- October 2008
- September 2008
- August 2008
- July 2008
- June 2008
- May 2008
- April 2008
- March 2008
- February 2008
- January 2008
- December 2007
- November 2007
- October 2007
- September 2007
- August 2007
- July 2007
Blogroll
Sites I Visit
Meta
-
Twitter Updates
- Tweets by bobnadler
Tag Archives: Frama-C
Guest Article: Static Analysis in Medical Device Software (Part 3) — Formal specifications
The third and last guest post by Pascal Cuoq on software verification. This part is about formal specifications. Continue reading