Extending Ina Jo with temporal logic

DOI10.1109/32.21744zbMath0665.68006OpenAlexW2128222350MaRDI QIDQ3816959

Mark R. Nixon, Jeannette M. Wing

Publication date: 1989

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/01cafd7c0369260a977393acd1d05422e0c895b5

zbMATH Keywords

temporal logicconcurrencyspecification languageformal specificationsnondeterministic systemsIna Jostate-machines

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

This page was built for publication: Extending Ina Jo with temporal logic