The following pages link to Cinzia Bernardeschi (Q264191):
Displayed 8 items.
- Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system (Q264193) (← links)
- Temporal analysis of data flow control systems (Q1129680) (← links)
- (Q1853039) (redirect page) (← links)
- Abstract interpretation of operational semantics for secure information flow. (Q1853040) (← links)
- A Petri nets semantics for data flow networks (Q1894678) (← links)
- Formally Verifying Fault Tolerant System Designs (Q2730080) (← links)
- (Q4818731) (← links)
- Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation (Q4828445) (← links)