EP1516243A4

An invariant checking method and apparatus using binary decision diagrams in combination with constraint solvers

Abstract

This record has no abstract on file.

EP1516243A4, drawing sheet 1 — Sheet 1 of 1

Term

Term ended

Projected expiry passed 26 June 2023, 3.2 years ago.

1 sheet

Sheet 1

Every citation, both ways

Citations
Reference	Relation	Cited during
BHARADWAJ ET AL: "salsa : combining solvers with BDDs for automatic invariant checking", LECTURES NOTES IN COMPUTER SCIENCE . PROC. TOOLS AND ALGORITHMM FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2000), 2000, pages 1 - 16, XP007909670, Retrieved from the Internet <URL:http://www.reactive-systems.com/papers/salsa2000.pdf> [retrieved on 20090828]	Non-patent	Search report

7 members in 5 offices

This recordMember, by publication datePriority claim

Priority claims3

Priority claims
Document	Office	Kind	Date
180043	United States of America	–	2002-06-27
18004302	United States of America	A	2002-06-27
0316236	United States of America	W	2003-06-26

Members7

Family members, oldest first
Document	Office	Kind
CA2486417A1	Canada	A1	2004-01-08
US2004006451A1	United States of America	A1	2004-01-08
WO2004003727A1	World Intellectual Property Organization (WIPO)	A1	2004-01-08
AU2003247399A1	Australia	A1	2004-01-19
EP1516243A1	European Patent Office (EPO)	A1	2005-03-23
US7058910B2	United States of America	B2	2006-06-06
EP1516243A4This record	European Patent Office (EPO)	A4	2009-11-11

13 legal events, as the office reported them to INPADOC

Over the term

Point at a mark for the event

Events

Legal events, newest first
	Event	Code
2013-01-23	Application deemed to be withdrawnWithdrawn18D	18D
2012-12-21	Information on the status of an ep patent application or granted ep patentGrantedSTATUS: THE APPLICATION IS DEEMED TO BE WITHDRAWNSTAA	STAA
2012-03-07	First examination report despatched17Q	17Q
2009-11-11	Supplementary search report drawn up and despatchedA4	A4
2009-10-07	Information provided on ipc code assigned before grantRIC1	RIC1
2009-10-07	Information provided on ipc code assigned before grantRIC1	RIC1
2009-10-07	Information provided on ipc code assigned before grantRIC1	RIC1
2005-10-19	Request for extension of the european patent (deleted)DAX	DAX
2005-10-19	Designated contracting states (corrected)RBV	RBV
2005-03-23	Request for examination filed17P	17P
2005-03-23	Designated contracting statesAK	AK
2005-03-23	Request for extension of the european patentAX	AX
2005-02-04	Public reference made under article 153(3) epc to a published international application that has entered the european phaseORIGINAL CODE: 0009012PUAI	PUAI