Verifying Concurrent Systems with Symbolic Execution: Temporal Reasoning is Symbolic Execution with a Little Induction

Marke: Shaker
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen