AU2006905207A0 - Generating a transition system for use with model checking - Google Patents

Generating a transition system for use with model checking

Info

Publication number
AU2006905207A0
AU2006905207A0 AU2006905207A AU2006905207A AU2006905207A0 AU 2006905207 A0 AU2006905207 A0 AU 2006905207A0 AU 2006905207 A AU2006905207 A AU 2006905207A AU 2006905207 A AU2006905207 A AU 2006905207A AU 2006905207 A0 AU2006905207 A0 AU 2006905207A0
Authority
AU
Australia
Prior art keywords
generating
model checking
transition system
transition
checking
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Abandoned
Application number
AU2006905207A
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
National ICT Australia Ltd
Original Assignee
National ICT Australia Ltd
Filing date
Publication date
Application filed by National ICT Australia Ltd filed Critical National ICT Australia Ltd
Publication of AU2006905207A0 publication Critical patent/AU2006905207A0/en
Priority to AU2007299571A priority Critical patent/AU2007299571B2/en
Priority to PCT/AU2007/001355 priority patent/WO2008034170A1/en
Priority to EP07800309A priority patent/EP2074507A4/en
Priority to KR1020097007803A priority patent/KR20090071596A/en
Priority to JP2009528549A priority patent/JP2010504572A/en
Priority to US12/441,889 priority patent/US8850415B2/en
Abandoned legal-status Critical Current

Links

AU2006905207A 2006-09-20 2006-09-20 Generating a transition system for use with model checking Abandoned AU2006905207A0 (en)

Priority Applications (6)

Application Number Priority Date Filing Date Title
AU2007299571A AU2007299571B2 (en) 2006-09-20 2007-09-12 Generating a transition system for use with model checking
PCT/AU2007/001355 WO2008034170A1 (en) 2006-09-20 2007-09-12 Generating a transition system for use with model checking
EP07800309A EP2074507A4 (en) 2006-09-20 2007-09-12 Generating a transition system for use with model checking
KR1020097007803A KR20090071596A (en) 2006-09-20 2007-09-12 Generating a transition system for use with model checking
JP2009528549A JP2010504572A (en) 2006-09-20 2007-09-12 Generation of transition systems used in model checking
US12/441,889 US8850415B2 (en) 2006-09-20 2007-09-13 Generating a transition system for use with model checking

Publications (1)

Publication Number Publication Date
AU2006905207A0 true AU2006905207A0 (en) 2006-10-05

Family

ID=

Similar Documents

Publication Publication Date Title
EP2074507A4 (en) Generating a transition system for use with model checking
HK1170927A1 (en) Brace with a closure system
PL2092627T3 (en) A battery management system
AU311112S (en) A charger
EP1887197B8 (en) A generator set
EP2126600A4 (en) A model based positioning system
GB0608440D0 (en) A fuel-cell system
AU2006905207A0 (en) Generating a transition system for use with model checking
EP2143855B8 (en) Connection system for a skirting-board and skirting-board and connection profile for use therewith
GB0617324D0 (en) A storage system
ZA200904125B (en) A stable glutaraldehyde complex
EP1984845A4 (en) Managing component configurations in a computer system
AU2007900365A0 (en) A model
AU2006905091A0 (en) A model boat
AU2006906760A0 (en) A model Boat
AU2006902649A0 (en) A storage system
AU2006902708A0 (en) A receipt storage system
AU2007900671A0 (en) A model Boat
AU2006904101A0 (en) The DOCKETcard Model
GB2436572B (en) A cladding system
AU2008901837A0 (en) A Transliteration And Pronunciation System
AU2007901459A0 (en) A Storage unit
AU2007902848A0 (en) A storage system
GB0601545D0 (en) A storage unit
AU2006905985A0 (en) A morticeing head