Johannes Bader
YOU?
Author Swipe
View article: Gradual Verification of Recursive Heap Data Structures
Gradual Verification of Recursive Heap Data Structures Open
Current static verification techniques do not provide good support for incrementality, making it difficult for developers to focus on specifying and verifying the properties and components that are most important. Dynamic verification appr…
View article: Gradual Verification of Recursive Heap Data Structures
Gradual Verification of Recursive Heap Data Structures Open
Current static verification techniques do not provide good support for incrementality, making it difficult for developers to focus on specifying and verifying the properties and components that are most important. Dynamic verification appr…
View article: Study of analysis methods to monitor sporulation during fermentation of Bacillus subtilis to produce endospores
Study of analysis methods to monitor sporulation during fermentation of Bacillus subtilis to produce endospores Open
Bacterial endospores, mainly of Bacillus subtilis, B. atrophaeus or Geobacillus stearothermophilus, are used as biological indicator for the validation of sterilization processes in various industrial processes and applications. Commonly u…