SAT Modulo Differential Equation Simulations

Počet záznamů: 1

1.

SYSNO	0531242
Název	SAT Modulo Differential Equation Simulations
Tvůrce(i)	Kolárik, T. (CZ) Ratschan, Stefan (UIVT-O)_{SAI, RID, ORCID}
Zdroj.dok.	Tests and Proofs. S. 80-99. - Cham : Springer, 2020 / Ahrendt W. ; Wehrheim H.
Konference	TAP 2020: The International Conference on Tests and Proofs /14./, 22.06.2020 - 23.06.2020, Bergen
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	CH
Klíč.slova	constraint solving * Boolean satisfiability * formal verification
Spolupracující instituce	Fakulta informačních technologií ČVUT (Česká republika)
Trvalý link	http://hdl.handle.net/11104/0309940

Počet záznamů: 1