Verification of a Chemical Process Leak Test Procedure
No abstract available.
Related papers
- Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control TACAS 1996
- SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks CAV 2020
- The Chemical Abstract Machine POPL 1990
- The Chemical Approach to Typestate-Oriented Programming TOPLAS 2017
- The chemical approach to typestate-oriented programming OOPSLA 2015
- Practical memory leak detector based on parameterized procedural summaries ISMM 2008
- Agora: Trust Less and Open More in Verification for Confidential Computing OOPSLA 2025
- Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks CAV 2015