Formal Verification of Complex Data Paths: An Industrial Experience
Paper i proceeding, 2021
Circuit visualization
Symbolic trajectory evaluation
Functional languages
Model checking
Formal verification
Författare
Carl-Johan Seger
Chalmers, Data- och informationsteknik, Funktionell programmering
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 13047 LNCS 697-7169783030908690 (ISBN)
Virtual, Online, ,
Octopi: Säker Programering för Sakernas Internet
Stiftelsen för Strategisk forskning (SSF) (RIT17-0023), 2018-03-01 -- 2023-02-28.
Ämneskategorier
Annan data- och informationsvetenskap
Datavetenskap (datalogi)
Datorsystem
DOI
10.1007/978-3-030-90870-6_38