Carl-Johan H. Seger

Available identifiers

zbMath Open seger.carl-johan-hMaRDI QIDQ526774

List of research outcomes

Publication	Date of Publication	Type
A two-level formal verification methodology using HOL and COSMOS	2024-04-29	Paper
Symbolic trajectory evaluation for word-level verification: theory and implementation	2017-05-15	Paper
Computer Aided Verification	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4427896	2003-09-14	Paper
Model checking lattices: using and reasoning about information orders for abstraction	2000-02-15	Paper
Generalized ternary simulation of sequential circuits	1997-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q4037372	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037095	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q3971259	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q3971274	1992-06-25	Paper
On the existence of speed-independent circuits	1991-01-01	Paper
A unified framework for race analysis of asynchronous networks	1989-01-01	Paper
An optimistic ternary simulation of gate races	1988-01-01	Paper
A Characterization of Ternary Simulation of Gate Networks	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3726020	1986-01-01	Paper

Research outcomes over time

This page was built for person: Carl-Johan H. Seger