Towards integrated verification of timed transition models Conferences

authors

• Lawford, Mark
• Pantelic, Vera
• Zhang, H

status

• published 

publication date

• March 1, 2006

has subject area

• 0801 Artificial Intelligence and Image Processing (FoR)
• 0802 Computation Theory and Mathematics (FoR)
• Computation Theory & Mathematics (Science Metrix)

published in

• Fundamenta Informaticae  Journal

presented at event

• 4th International Conference on Application of Concurrency to System Design  Conference

keywords

• Computer Science
• Computer Science, Software Engineering
• DESIGN
• FORMAL VERIFICATION
• Mathematics
• Mathematics, Applied
• PVS
• Physical Sciences
• SAL
• Science & Technology
• TOOLSET
• Technology
• equivalence verification
• model reduction
• model-checking
• real-time
• theorem proving

Digital Object Identifier (DOI)

• 10.3233/fun-2006-701-205

start page

• 75

end page

• 110

volume

• 70

issue

• 1-2