Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Counterexample-guided abstract...

Treffer: Counterexample-guided abstraction refinement for symmetric concurrent programs

Title:
Counterexample-guided abstraction refinement for symmetric concurrent programs
Authors:
Donaldson, Alastair F., Kaiser, Alexander, Kroening, Daniel, Tautschnig, Michael, Wahl, Thomas
Source:
Formal Methods in System Design: An International Journal. August 2012 41(1):25-44
Database:
Springer Nature Journals