Fischer, Bernd

1. SMT-Based Bounded Model Checking for Embedded ANSI-C Software
   2009/07/12 by Cordeiro, Lucas, Fischer, Bernd, Marques-Silva, Joao · 3 citations
   #FOS: Computer and information sciences #Software Engineering (cs.SE)
2. Verifying Embedded C Software with Timing Constraints using an Untimed\n Model Checker
   2011/06/12 by Raimundo Barreto, Barreto, Raimundo, Lucas C. Cordeiro +3 · 1 citation
   Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Real-Time Systems Scheduling