Brian R Larson
Research Associate - Kansas State University
Joined Oct 2015
US Food and Drug Administration Scholar in Residence at Kansas State My research treats safety-critical programs, their specifications, and their executions as mathematical objects. Programs annotated with assertions as proof outlines can be transformed into complete proofs by my BLESS proof tool with human selection of tactics.
Member ofKansas State University
No connections yet
addtoresetparagraphchapter addtoresetparagraphsection addtoresetlegalityrulechapter addtoresetlegalityrulesection addtoresetnamingrulechapter addtoresetnamingrulesection addtoresetconsistencyrulechapter addtoresetconsistencyrulesection 20pt 20pt -20pt #3: BAv2: Behavior Specification for AADL Version 2