Pages that link to "Item:Q2382030"
From MaRDI portal
The following pages link to Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings. (Q2382030):
Displaying 11 items.
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program (Q352952) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Verification conditions for source-level imperative programs (Q465685) (← links)
- Optimal and robust controller synthesis using energy timed automata with uncertainty (Q1996422) (← links)
- Formal analysis of the compact position reporting algorithm (Q1996426) (← links)
- Solving bitvectors with MCSAT: explanations from bits and pieces (Q2096440) (← links)
- Formal verification of mobile robot protocols (Q2359768) (← links)
- Compositional Reasoning (Q3176370) (← links)
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (Q3637254) (← links)
- Diagnostic Information for Realizability (Q5452707) (← links)
- A state class based controller synthesis approach for time Petri nets (Q6535204) (← links)
