Patent · US Expired

Event-based temporal logic

US7020850B2 · kind B2 · utility

47Cited by
3References
26Claims
0Family size

Assignee

Inventors

Key dates

Filing dateMay 2, 2001
Grant dateMar 28, 2006
Priority date—
Expiry dateDec 20, 2022

Classification

  • Technology area (CPC G)Physics
  • CPC primaryG06F9/4498
  • WIPO fieldComputer technology
  • WIPO sectorElectrical engineering

Abstract

A computer system receives a description of a finite state machine including a temporal logic condition and generates code for emulating the described finite state machine.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.