Skip to content
keeping simple

keeping simple

@vy@sciencemastodon.com

Menu

  • Groundbreaking treatise on state machines, paxos, specification
  • The RTLinux patent 5,995,745
  • Notes on Security and Common Criteria
  • Download code

Updated Dijkstra vs Perlis (really, DeMillo)

See below.

Updated Dijkstra vs Perlis (really, DeMillo)
Tagged on: dijkstra    formal methods    software engineering    verification
yodaiken November 25, 2008August 27, 2016 software security
  • ← Costs of not building security into the system
  • undervalued technical worker →

Pages

  • Groundbreaking treatise on state machines, paxos, specification
  • The RTLinux patent 5,995,745
  • Notes on Security and Common Criteria
  • Download code

Archives

  • December 2024
  • September 2024
  • January 2024
  • December 2023
  • May 2023
  • October 2022
  • September 2022
  • May 2022
  • April 2022
  • March 2022
  • January 2022
  • October 2021
  • August 2021
  • May 2021
  • March 2021
  • September 2020
  • October 2019
  • July 2019
  • March 2019
  • February 2019
  • December 2018
  • November 2018
  • July 2018
  • June 2018
  • May 2018
  • April 2018
  • March 2018
  • January 2018
  • November 2017
  • September 2017
  • August 2017
  • July 2017
  • June 2017
  • December 2016
  • September 2016
  • August 2016
  • June 2016
  • May 2016
  • April 2016
  • March 2016
  • February 2016
  • January 2016
  • December 2015
  • November 2015
  • October 2015
  • September 2015
  • August 2015
  • July 2015
  • March 2015
  • November 2014
  • October 2014
  • September 2014
  • July 2014
  • June 2014
  • May 2014
  • April 2014
  • February 2014
  • January 2014
  • December 2013
  • January 2013
  • November 2012
  • August 2012
  • July 2012
  • May 2012
  • April 2012
  • March 2012
  • February 2012
  • January 2012
  • December 2011
  • October 2011
  • September 2011
  • August 2011
  • July 2011
  • June 2011
  • May 2011
  • March 2011
  • 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
  • September 2009
  • August 2009
  • July 2009
  • June 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
  • June 2007
  • May 2007
  • April 2007
  • March 2007
  • February 2007
  • January 2007
  • December 2006
  • November 2006
  • October 2006
  • September 2006
  • August 2006
  • June 2006
  • May 2006
  • April 2006
  • March 2006
  • February 2006
  • January 2006
  • December 2005
  • April 2005
  • February 2005
  • January 2005
  • December 2004
Copyright © 2024 keeping simple. All rights reserved. Theme Spacious by ThemeGrill. Powered by: WordPress.