Runge, Tobias; Bordis, Tabea; Potanin, Alex; Thüm, Thomas; Schaefer, Ina Flexible correct-by-construction programming. (English) Zbl 07731927 Log. Methods Comput. Sci. 19, No. 2, Paper No. 16, 36 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{T. Runge} et al., Log. Methods Comput. Sci. 19, No. 2, Paper No. 16, 36 p. (2023; Zbl 07731927) Full Text: DOI arXiv
Baxter, James; Cavalcanti, Ana; Gazda, Maciej; Hierons, Robert M. Testing using CSP models: time, inputs, and outputs. (English) Zbl 07672676 ACM Trans. Comput. Log. 24, No. 2, Paper No. 17, 40 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{J. Baxter} et al., ACM Trans. Comput. Log. 24, No. 2, Paper No. 17, 40 p. (2023; Zbl 07672676) Full Text: DOI
Silva, Luciano; Oliveira, Marcel Automatic generation of verified concurrent hardware using VHDL. (English) Zbl 1528.68053 Lima, Lucas (ed.) et al., Formal methods: foundations and applications. 25th Brazilian symposium, SBMF 2022, virtual event, December 6–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13768, 55-72 (2022). MSC: 68N15 68Q60 68Q85 PDFBibTeX XMLCite \textit{L. Silva} and \textit{M. Oliveira}, Lect. Notes Comput. Sci. 13768, 55--72 (2022; Zbl 1528.68053) Full Text: DOI
Sun, Quan; Zhang, Wei; Wang, Chao; Liu, Zhiming A contract-based semantics and refinement for Simulink. (English) Zbl 1528.68236 Dong, Wei (ed.) et al., Dependable software engineering. Theories, tools, and applications. 8th international symposium, SETTA 2022, Beijing, China, October 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13649, 134-148 (2022). MSC: 68Q60 68Q55 93-10 93C30 PDFBibTeX XMLCite \textit{Q. Sun} et al., Lect. Notes Comput. Sci. 13649, 134--148 (2022; Zbl 1528.68236) Full Text: DOI
Runge, Tobias; Kittelmann, Alexander; Servetto, Marco; Potanin, Alex; Schaefer, Ina Information flow control-by-construction for an object-oriented language. (English) Zbl 1525.68031 Schlingloff, Bernd-Holger (ed.) et al., Software engineering and formal methods. 20th international conference, SEFM 2022, Berlin, Germany, September 26–30, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13550, 209-226 (2022). MSC: 68N30 68N15 PDFBibTeX XMLCite \textit{T. Runge} et al., Lect. Notes Comput. Sci. 13550, 209--226 (2022; Zbl 1525.68031) Full Text: DOI arXiv
Zhang, Xiaohua; Zhou, Liangqiang; Wang, Juan Local bifurcation of a circus truss antenna considering the effect of space thermal excitation. (English) Zbl 1506.74150 Chaos Solitons Fractals 162, Article ID 112437, 7 p. (2022). MSC: 74H45 74K25 70K30 34C23 34C15 PDFBibTeX XMLCite \textit{X. Zhang} et al., Chaos Solitons Fractals 162, Article ID 112437, 7 p. (2022; Zbl 1506.74150) Full Text: DOI
Farrell, Marie; Monahan, Rosemary; Power, James F. Building specifications in the Event-B institution. (English) Zbl 07639912 Log. Methods Comput. Sci. 18, No. 4, Paper No. 4, 55 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{M. Farrell} et al., Log. Methods Comput. Sci. 18, No. 4, Paper No. 4, 55 p. (2022; Zbl 07639912) Full Text: DOI arXiv
Gleirscher, Mario; Calinescu, Radu; Woodcock, Jim RiskStructures: a design algebra for risk-aware machines. (English) Zbl 1521.93120 Formal Asp. Comput. 33, No. 4-5, 763-802 (2021). MSC: 93C85 91B05 PDFBibTeX XMLCite \textit{M. Gleirscher} et al., Formal Asp. Comput. 33, No. 4--5, 763--802 (2021; Zbl 1521.93120) Full Text: DOI arXiv
Foster, Simon; Ye, Kangfeng; Cavalcanti, Ana; Woodcock, Jim Automated verification of reactive and concurrent programs by calculation. (English) Zbl 1518.68206 J. Log. Algebr. Methods Program. 121, Article ID 100681, 34 p. (2021). MSC: 68Q60 68N30 68Q85 PDFBibTeX XMLCite \textit{S. Foster} et al., J. Log. Algebr. Methods Program. 121, Article ID 100681, 34 p. (2021; Zbl 1518.68206) Full Text: DOI arXiv
Ribeiro, Pedro A unary semigroup trace algebra. (English) Zbl 07578347 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12062, 270-285 (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{P. Ribeiro}, Lect. Notes Comput. Sci. 12062, 270--285 (2020; Zbl 07578347) Full Text: DOI Link
Sheng, Feng; Zhu, Huibiao; He, Jifeng; Yang, Zongyuan; Bowen, Jonathan P. Theoretical and practical approaches to the denotational semantics for MDESL based on UTP. (English) Zbl 1458.68041 Formal Asp. Comput. 32, No. 2-3, 275-314 (2020). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{F. Sheng} et al., Formal Asp. Comput. 32, No. 2--3, 275--314 (2020; Zbl 1458.68041) Full Text: DOI
Foster, Simon; Cavalcanti, Ana; Canham, Samuel; Woodcock, Jim; Zeyda, Frank Unifying theories of reactive design contracts. (English) Zbl 1436.68195 Theor. Comput. Sci. 802, 105-140 (2020). MSC: 68Q60 68Q55 68V15 PDFBibTeX XMLCite \textit{S. Foster} et al., Theor. Comput. Sci. 802, 105--140 (2020; Zbl 1436.68195) Full Text: DOI arXiv Link
Hayes, Ian J.; Meinicke, Larissa A.; Winter, Kirsten; Colvin, Robert J. A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. (English) Zbl 1425.68293 Formal Asp. Comput. 31, No. 2, 133-163 (2019). MSC: 68Q85 68N30 68T15 PDFBibTeX XMLCite \textit{I. J. Hayes} et al., Formal Asp. Comput. 31, No. 2, 133--163 (2019; Zbl 1425.68293) Full Text: DOI arXiv
Shi, Ling; Zhao, Yongxin; Liu, Yang; Sun, Jun; Dong, Jin Song; Qin, Shengchao A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. (English) Zbl 1398.68373 Formal Asp. Comput. 30, No. 3-4, 351-380 (2018). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{L. Shi} et al., Formal Asp. Comput. 30, No. 3--4, 351--380 (2018; Zbl 1398.68373) Full Text: DOI Link
Foster, Simon; Cavalcanti, Ana; Woodcock, Jim; Zeyda, Frank Unifying theories of time with generalised reactive processes. (English) Zbl 1476.68143 Inf. Process. Lett. 135, 47-52 (2018). MSC: 68Q55 68Q85 68V15 PDFBibTeX XMLCite \textit{S. Foster} et al., Inf. Process. Lett. 135, 47--52 (2018; Zbl 1476.68143) Full Text: DOI arXiv Link
Keith, Jonathan M. (ed.) Bioinformatics. Volume II: structure, function, and applications. 2nd edition. (English) Zbl 1384.92002 Methods in Molecular Biology 1526. New York, NY: Humana Press (ISBN 978-1-4939-6611-0/hbk; 978-1-4939-6613-4/ebook). xi, 426 p. (2017). Reviewer: Irina Ioana Mohorianu (Norwich) MSC: 92-02 92-08 92D20 92C40 92C42 92C50 00B15 PDFBibTeX XMLCite \textit{J. M. Keith} (ed.), Bioinformatics. Volume II: structure, function, and applications. 2nd edition. New York, NY: Humana Press (2017; Zbl 1384.92002) Full Text: DOI
Cabodi, G.; Camurati, P. E.; Mishchenko, A.; Palena, M.; Pasini, P. SAT solver management strategies in IC3: an experimental approach. (English) Zbl 1360.68580 Form. Methods Syst. Des. 50, No. 1, 39-74 (2017). MSC: 68Q60 68T20 PDFBibTeX XMLCite \textit{G. Cabodi} et al., Form. Methods Syst. Des. 50, No. 1, 39--74 (2017; Zbl 1360.68580) Full Text: DOI
Zeyda, Frank; Foster, Simon; Freitas, Leo An axiomatic value model for Isabelle/UTP. (English) Zbl 1483.68093 Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10134, 155-175 (2017). MSC: 68N30 68Q55 68V15 PDFBibTeX XMLCite \textit{F. Zeyda} et al., Lect. Notes Comput. Sci. 10134, 155--175 (2017; Zbl 1483.68093) Full Text: DOI Link
Ribeiro, Pedro; Cavalcanti, Ana; Woodcock, Jim A stepwise approach to linking theories. (English) Zbl 1483.68090 Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10134, 134-154 (2017). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{P. Ribeiro} et al., Lect. Notes Comput. Sci. 10134, 134--154 (2017; Zbl 1483.68090) Full Text: DOI
Chen, Mingshuai; Ravn, Anders P.; Wang, Shuling; Yang, Mengfei; Zhan, Naijun A two-way path between formal and informal design of embedded systems. (English) Zbl 1483.68074 Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10134, 65-92 (2017). MSC: 68N30 68Q60 93-10 93C30 PDFBibTeX XMLCite \textit{M. Chen} et al., Lect. Notes Comput. Sci. 10134, 65--92 (2017; Zbl 1483.68074) Full Text: DOI Link
Foster, Simon; Thiele, Bernhard; Cavalcanti, Ana; Woodcock, Jim Towards a UTP semantics for Modelica. (English) Zbl 1483.68053 Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10134, 44-64 (2017). MSC: 68N15 68Q55 68V20 93-10 93C30 PDFBibTeX XMLCite \textit{S. Foster} et al., Lect. Notes Comput. Sci. 10134, 44--64 (2017; Zbl 1483.68053) Full Text: DOI Link
Foster, Simon; Zeyda, Frank; Woodcock, Jim Unifying heterogeneous state-spaces with lenses. (English) Zbl 1482.68089 Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 295-314 (2016). MSC: 68N30 68Q65 68V20 PDFBibTeX XMLCite \textit{S. Foster} et al., Lect. Notes Comput. Sci. 9965, 295--314 (2016; Zbl 1482.68089) Full Text: DOI Link
Cavalcanti, Ana; Woodcock, Jim; Amálio, Nuno Behavioural models for FMI co-simulations. (English) Zbl 1482.68135 Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 255-273 (2016). MSC: 68Q60 68Q55 68Q85 PDFBibTeX XMLCite \textit{A. Cavalcanti} et al., Lect. Notes Comput. Sci. 9965, 255--273 (2016; Zbl 1482.68135) Full Text: DOI Link
Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg Building program construction and verification tools from algebraic principles. (English) Zbl 1342.68066 Formal Asp. Comput. 28, No. 2, 265-293 (2016). MSC: 68N30 68Q60 68T15 PDFBibTeX XMLCite \textit{A. Armstrong} et al., Formal Asp. Comput. 28, No. 2, 265--293 (2016; Zbl 1342.68066) Full Text: DOI
Bourke, Timothy; van Glabbeek, Robert J.; Höfner, Peter Mechanizing a process algebra for network protocols. (English) Zbl 1356.68182 J. Autom. Reasoning 56, No. 3, 309-341 (2016). MSC: 68T15 68M12 68Q85 PDFBibTeX XMLCite \textit{T. Bourke} et al., J. Autom. Reasoning 56, No. 3, 309--341 (2016; Zbl 1356.68182) Full Text: DOI arXiv
Wei, Kun; Woodcock, Jim Towards algebraic semantics of Circus Time. (English) Zbl 1457.68071 Naumann, David, Unifying theories of programming. 5th international symposium, UTP 2014, Singapore, May 13, 2014. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8963, 84-104 (2015). MSC: 68N30 68Q10 68Q55 PDFBibTeX XMLCite \textit{K. Wei} and \textit{J. Woodcock}, Lect. Notes Comput. Sci. 8963, 84--104 (2015; Zbl 1457.68071) Full Text: DOI
Foster, Simon; Zeyda, Frank; Woodcock, Jim Isabelle/UTP: a mechanised theory engineering framework. (English) Zbl 1457.68061 Naumann, David, Unifying theories of programming. 5th international symposium, UTP 2014, Singapore, May 13, 2014. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8963, 21-41 (2015). MSC: 68N30 68Q55 68V15 PDFBibTeX XMLCite \textit{S. Foster} et al., Lect. Notes Comput. Sci. 8963, 21--41 (2015; Zbl 1457.68061) Full Text: DOI Link
Zhu, H.; He, Jifeng; Qin, Shengchao; Brooke, Phillip Denotational semantics and its algebraic derivation for an event-driven system-level language. (English) Zbl 1347.68039 Formal Asp. Comput. 27, No. 1, 133-166 (2015). MSC: 68N15 68Q55 PDFBibTeX XMLCite \textit{H. Zhu} et al., Formal Asp. Comput. 27, No. 1, 133--166 (2015; Zbl 1347.68039) Full Text: DOI Link
Castro, Pablo F.; Aguirre, Nazareno; Pombo, Carlos L.; Maibaum, T. S. E. Categorical foundations for structured specifications in \(\mathsf{Z}\). (English) Zbl 1385.68023 Formal Asp. Comput. 27, No. 5-6, 831-865 (2015). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 68Q65 PDFBibTeX XMLCite \textit{P. F. Castro} et al., Formal Asp. Comput. 27, No. 5--6, 831--865 (2015; Zbl 1385.68023) Full Text: DOI
Zeyda, Frank; Cavalcanti, Ana Laws of mission-based programming. (English) Zbl 1331.68054 Formal Asp. Comput. 27, No. 2, 423-472 (2015). MSC: 68N30 68N19 PDFBibTeX XMLCite \textit{F. Zeyda} and \textit{A. Cavalcanti}, Formal Asp. Comput. 27, No. 2, 423--472 (2015; Zbl 1331.68054) Full Text: DOI Link
Cavalcanti, Ana; Gaudel, Marie-Claude Test selection for traces refinement. (English) Zbl 1302.68086 Theor. Comput. Sci. 563, 1-42 (2015). MSC: 68N30 PDFBibTeX XMLCite \textit{A. Cavalcanti} and \textit{M.-C. Gaudel}, Theor. Comput. Sci. 563, 1--42 (2015; Zbl 1302.68086) Full Text: DOI
Boström, Pontus; Degerlund, Fredrik; Sere, Kaisa; Waldén, Marina Derivation of concurrent programs by stepwise scheduling of Event-B models. (English) Zbl 1342.68056 Formal Asp. Comput. 26, No. 2, 281-303 (2014). MSC: 68N19 68Q60 PDFBibTeX XMLCite \textit{P. Boström} et al., Formal Asp. Comput. 26, No. 2, 281--303 (2014; Zbl 1342.68056) Full Text: DOI
Schneider, Steve; Treharne, Helen; Wehrheim, Heike The behavioural semantics of Event-B refinement. (English) Zbl 1342.68211 Formal Asp. Comput. 26, No. 2, 251-280 (2014). MSC: 68Q60 68Q55 PDFBibTeX XMLCite \textit{S. Schneider} et al., Formal Asp. Comput. 26, No. 2, 251--280 (2014; Zbl 1342.68211) Full Text: DOI Link
Frappier, Marc; Gervais, Frédéric; Laleau, Régine; Milhau, Jérémy Refinement patterns for ASTDs. (English) Zbl 1342.68182 Formal Asp. Comput. 26, No. 5, 919-941 (2014). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Frappier} et al., Formal Asp. Comput. 26, No. 5, 919--941 (2014; Zbl 1342.68182) Full Text: DOI
Banks, Michael J.; Jacob, Jeremy L. On integrating confidentiality and functionality in a formal method. (English) Zbl 1342.68191 Formal Asp. Comput. 26, No. 5, 963-992 (2014). MSC: 68Q55 68N30 68Q60 PDFBibTeX XMLCite \textit{M. J. Banks} and \textit{J. L. Jacob}, Formal Asp. Comput. 26, No. 5, 963--992 (2014; Zbl 1342.68191) Full Text: DOI
Bourke, Timothy; van Glabbeek, Rob; Höfner, Peter A mechanized proof of loop freedom of the (untimed) AODV routing protocol. (English) Zbl 1448.68051 Cassez, Franck (ed.) et al., Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8837, 47-63 (2014). MSC: 68M12 68V15 PDFBibTeX XMLCite \textit{T. Bourke} et al., Lect. Notes Comput. Sci. 8837, 47--63 (2014; Zbl 1448.68051) Full Text: DOI arXiv
Bourke, Timothy; van Glabbeek, Robert J.; Höfner, Peter Showing invariance compositionally for a process algebra for network protocols. (English) Zbl 1416.68153 Klein, Gerwin (ed.) et al., Interactive theorem proving. 5th international conference, ITP 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8558, 144-159 (2014). MSC: 68T15 68M12 68Q85 PDFBibTeX XMLCite \textit{T. Bourke} et al., Lect. Notes Comput. Sci. 8558, 144--159 (2014; Zbl 1416.68153) Full Text: DOI arXiv
Butterfield, Andrew The logic of \(U\cdot(TP)^{2}\). (English) Zbl 1452.68261 Wolff, Burkhart (ed.) et al., Unifying theories of programming. Fourth international symposium, UTP 2012, Paris, France, August 27–28, 2012. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 7681, 124-143 (2013). MSC: 68V15 03B35 68N30 PDFBibTeX XMLCite \textit{A. Butterfield}, Lect. Notes Comput. Sci. 7681, 124--143 (2013; Zbl 1452.68261) Full Text: DOI
Wei, Kun; Woodcock, Jim; Cavalcanti, Ana Circus Time with reactive designs. (English) Zbl 1452.68057 Wolff, Burkhart (ed.) et al., Unifying theories of programming. Fourth international symposium, UTP 2012, Paris, France, August 27–28, 2012. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 7681, 68-87 (2013). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{K. Wei} et al., Lect. Notes Comput. Sci. 7681, 68--87 (2013; Zbl 1452.68057) Full Text: DOI
Foster, Simon; Woodcock, Jim Unifying theories of programming in Isabelle. (English) Zbl 1444.68049 Liu, Zhiming (ed.) et al., Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8050, 109-155 (2013). MSC: 68N30 68Q55 68V15 68V20 PDFBibTeX XMLCite \textit{S. Foster} and \textit{J. Woodcock}, Lect. Notes Comput. Sci. 8050, 109--155 (2013; Zbl 1444.68049) Full Text: DOI Link
Dong, Ruzhen; Faber, Johannes; Ke, Wei; Liu, Zhiming rCOS: defining meanings of component-based software architectures. (English) Zbl 1444.68047 Liu, Zhiming (ed.) et al., Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8050, 1-66 (2013). MSC: 68N30 PDFBibTeX XMLCite \textit{R. Dong} et al., Lect. Notes Comput. Sci. 8050, 1--66 (2013; Zbl 1444.68047) Full Text: DOI
Arthan, Rob; Martin, Ursula; Oliva, Paulo A Hoare logic for linear systems. (English) Zbl 1298.68163 Formal Asp. Comput. 25, No. 3, 345-363 (2013). MSC: 68Q60 93C05 PDFBibTeX XMLCite \textit{R. Arthan} et al., Formal Asp. Comput. 25, No. 3, 345--363 (2013; Zbl 1298.68163) Full Text: DOI
Wei, Kun; Woodcock, Jim; Burns, Alan Modelling temporal behaviour in complex systems with Timebands. (English) Zbl 1291.68271 Form. Methods Syst. Des. 43, No. 3, 520-551 (2013). MSC: 68Q60 68N30 03B70 03B44 PDFBibTeX XMLCite \textit{K. Wei} et al., Form. Methods Syst. Des. 43, No. 3, 520--551 (2013; Zbl 1291.68271) Full Text: DOI Link
Cavalcanti, Ana; Zeyda, Frank; Wellings, Andy; Woodcock, Jim; Wei, Kun Safety-critical Java programs from Circus models. (English) Zbl 1285.68037 Real-Time Syst. 49, No. 5, 614-667 (2013). MSC: 68N30 PDFBibTeX XMLCite \textit{A. Cavalcanti} et al., Real-Time Syst. 49, No. 5, 614--667 (2013; Zbl 1285.68037) Full Text: DOI
Cavalcanti, Ana; Mota, Alexandre; Woodcock, Jim Simulink timed models for program verification. (English) Zbl 1390.68423 Liu, Zhiming (ed.) et al., Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-39697-7/pbk). Lecture Notes in Computer Science 8051, 82-99 (2013). MSC: 68Q60 68U20 PDFBibTeX XMLCite \textit{A. Cavalcanti} et al., Lect. Notes Comput. Sci. 8051, 82--99 (2013; Zbl 1390.68423) Full Text: DOI
Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim Unifying theories in ProofPower-Z. (English) Zbl 1259.68035 Formal Asp. Comput. 25, No. 1, 133-158 (2013). MSC: 68N30 68Q60 68T15 PDFBibTeX XMLCite \textit{M. Oliveira} et al., Formal Asp. Comput. 25, No. 1, 133--158 (2013; Zbl 1259.68035) Full Text: DOI
Cavalcanti, Ana; Wellings, Andy; Woodcock, Jim The safety-critical Java memory model formalised. (English) Zbl 1259.68029 Formal Asp. Comput. 25, No. 1, 37-57 (2013). MSC: 68N19 68N15 68N30 PDFBibTeX XMLCite \textit{A. Cavalcanti} et al., Formal Asp. Comput. 25, No. 1, 37--57 (2013; Zbl 1259.68029) Full Text: DOI
Miyazawa, Alvaro; Cavalcanti, Ana Refinement-oriented models of Stateflow charts. (English) Zbl 1243.68152 Sci. Comput. Program. 77, No. 10-11, 1151-1177 (2012). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{A. Miyazawa} and \textit{A. Cavalcanti}, Sci. Comput. Program. 77, No. 10--11, 1151--1177 (2012; Zbl 1243.68152) Full Text: DOI
Zeyda, Frank; Cavalcanti, Ana Mechanical reasoning about families of UTP theories. (English) Zbl 1243.68270 Sci. Comput. Program. 77, No. 4, 444-479 (2012). MSC: 68T15 68N15 68Q60 PDFBibTeX XMLCite \textit{F. Zeyda} and \textit{A. Cavalcanti}, Sci. Comput. Program. 77, No. 4, 444--479 (2012; Zbl 1243.68270) Full Text: DOI
Meng, Sun; Arbab, Farhad; Aichernig, Bernhard K.; Aştefănoaei, Lăcrămioara; de Boer, Frank S.; Rutten, Jan Connectors as designs: modeling, refinement and test case generation. (English) Zbl 1242.68070 Sci. Comput. Program. 77, No. 7-8, 799-822 (2012). MSC: 68N30 PDFBibTeX XMLCite \textit{S. Meng} et al., Sci. Comput. Program. 77, No. 7--8, 799--822 (2012; Zbl 1242.68070) Full Text: DOI
Hallerstede, Stefan; Leuschel, Michael Experiments in program verification using Event-B. (English) Zbl 1242.68067 Formal Asp. Comput. 24, No. 1, 97-125 (2012). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{S. Hallerstede} and \textit{M. Leuschel}, Formal Asp. Comput. 24, No. 1, 97--125 (2012; Zbl 1242.68067) Full Text: DOI
Zeyda, Frank; Oliveira, Marcel; Cavalcanti, Ana Mechanised support for sound refinement tactics. (English) Zbl 1242.68077 Formal Asp. Comput. 24, No. 1, 127-160 (2012). MSC: 68N30 68N19 68Q60 PDFBibTeX XMLCite \textit{F. Zeyda} et al., Formal Asp. Comput. 24, No. 1, 127--160 (2012; Zbl 1242.68077) Full Text: DOI
Bauer, Sebastian S.; Hennicker, Rolf; Wirsing, Martin Building a modal interface theory for concurrency and data. (English) Zbl 1312.68149 Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 1-12 (2012). MSC: 68Q85 68Q65 PDFBibTeX XMLCite \textit{S. S. Bauer} et al., Lect. Notes Comput. Sci. 7137, 1--12 (2012; Zbl 1312.68149) Full Text: DOI
Cavalcanti, Ana; Gaudel, Marie-Claude Testing for refinement in Circus. (English) Zbl 1237.68059 Acta Inf. 48, No. 2, 97-147 (2011). MSC: 68N30 68N15 68Q55 PDFBibTeX XMLCite \textit{A. Cavalcanti} and \textit{M.-C. Gaudel}, Acta Inf. 48, No. 2, 97--147 (2011; Zbl 1237.68059) Full Text: DOI
Cavalcanti, Ana; Clayton, Phil; O’Halloran, Colin From control law diagrams to Ada via Circus. (English) Zbl 1226.68028 Formal Asp. Comput. 23, No. 4, 465-512 (2011). MSC: 68N30 68N15 PDFBibTeX XMLCite \textit{A. Cavalcanti} et al., Formal Asp. Comput. 23, No. 4, 465--512 (2011; Zbl 1226.68028) Full Text: DOI
Colvin, Robert J.; Hayes, Ian J. A semantics for behavior trees using CSP with specification commands. (English) Zbl 1220.68050 Sci. Comput. Program. 76, No. 10, 891-914 (2011). MSC: 68N30 68Q55 68Q85 PDFBibTeX XMLCite \textit{R. J. Colvin} and \textit{I. J. Hayes}, Sci. Comput. Program. 76, No. 10, 891--914 (2011; Zbl 1220.68050) Full Text: DOI
Bauer, Sebastian S.; Hennicker, Rolf; Wirsing, Martin Interface theories for concurrency and data. (English) Zbl 1216.68187 Theor. Comput. Sci. 412, No. 28, 3101-3121 (2011). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{S. S. Bauer} et al., Theor. Comput. Sci. 412, No. 28, 3101--3121 (2011; Zbl 1216.68187) Full Text: DOI
Oliveira, Marcel; Zeyda, Frank; Cavalcanti, Ana A tactic language for refinement of state-rich concurrent specifications. (English) Zbl 1218.68101 Sci. Comput. Program. 76, No. 9, 792-833 (2011). MSC: 68Q60 68N15 68N30 PDFBibTeX XMLCite \textit{M. Oliveira} et al., Sci. Comput. Program. 76, No. 9, 792--833 (2011; Zbl 1218.68101) Full Text: DOI
Butterfield, Andrew A denotational semantics for Handel-C. (English) Zbl 1216.68154 Formal Asp. Comput. 23, No. 2, 153-170 (2011). MSC: 68Q55 68N15 PDFBibTeX XMLCite \textit{A. Butterfield}, Formal Asp. Comput. 23, No. 2, 153--170 (2011; Zbl 1216.68154) Full Text: DOI
Zeyda, Frank; Cavalcanti, Ana Automating refinement of Circus programs. (English) Zbl 1325.68163 Davies, Jim (ed.) et al., Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8–11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19828-1/pbk). Lecture Notes in Computer Science 6527, 274-290 (2011). MSC: 68Q85 68T15 PDFBibTeX XMLCite \textit{F. Zeyda} and \textit{A. Cavalcanti}, Lect. Notes Comput. Sci. 6527, 274--290 (2011; Zbl 1325.68163) Full Text: DOI
Feliachi, Abderrahmane; Gaudel, Marie-Claude; Wolff, Burkhart Unifying theories in Isabelle/HOL. (English) Zbl 1309.68045 Qin, Shengchao (ed.), Unifying theories of programming. Third international symposium, UTP 2010, Shanghai, China, November 15–16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16689-1/pbk). Lecture Notes in Computer Science 6445, 188-206 (2010). MSC: 68N30 68T15 PDFBibTeX XMLCite \textit{A. Feliachi} et al., Lect. Notes Comput. Sci. 6445, 188--206 (2010; Zbl 1309.68045) Full Text: DOI
Zeyda, Frank; Cavalcanti, Ana Encoding Circus programs in ProofPower-Z. (English) Zbl 1286.68097 Butterfield, Andrew (ed.), Unifying theories of programming. Second international symposium, UTP 2008, Dublin, Ireland, September 8–10, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14520-9/pbk). Lecture Notes in Computer Science 5713, 218-237 (2010). MSC: 68N30 68T15 PDFBibTeX XMLCite \textit{F. Zeyda} and \textit{A. Cavalcanti}, Lect. Notes Comput. Sci. 5713, 218--237 (2010; Zbl 1286.68097) Full Text: DOI
Burns, Alan; Hayes, Ian J. A timeband framework for modelling real-time systems. (English) Zbl 1197.68032 Real-Time Syst. 45, No. 1-2, 106-142 (2010). MSC: 68M99 PDFBibTeX XMLCite \textit{A. Burns} and \textit{I. J. Hayes}, Real-Time Syst. 45, No. 1--2, 106--142 (2010; Zbl 1197.68032) Full Text: DOI Link
Sherif, Adnan; Cavalcanti, Ana; Jifeng, He; Sampaio, Augusto A process algebraic framework for specification and validation of real-time systems. (English) Zbl 1214.68224 Formal Asp. Comput. 22, No. 2, 153-191 (2010). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{A. Sherif} et al., Formal Asp. Comput. 22, No. 2, 153--191 (2010; Zbl 1214.68224) Full Text: DOI HAL
Derrick, John; Wehrheim, Heike Model transformations across views. (English) Zbl 1187.68161 Sci. Comput. Program. 75, No. 3, 192-210 (2010). MSC: 68N99 PDFBibTeX XMLCite \textit{J. Derrick} and \textit{H. Wehrheim}, Sci. Comput. Program. 75, No. 3, 192--210 (2010; Zbl 1187.68161) Full Text: DOI
Meng, Sun; Arbab, Farhad Connectors as designs. (English) Zbl 1364.68140 Salaün, Gwen (ed.) et al., Proceedings of the 8th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2009), Rhodes, Greece, July 11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 255, 119-135 (2009). MSC: 68N30 68N19 68Q55 68Q85 PDFBibTeX XMLCite \textit{S. Meng} and \textit{F. Arbab}, Electron. Notes Theor. Comput. Sci. 255, 119--135 (2009; Zbl 1364.68140) Full Text: Link
Hallerstede, Stefan Proving Quicksort correct in Event-B. (English) Zbl 1342.68114 Boiten, Eerke (ed.) et al., Proceedings of the 14th BCS-FACS refinement workshop (REFINE 2009), Eindhoven, The Netherlands, November 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 259, 47-65 (2009). MSC: 68P10 PDFBibTeX XMLCite \textit{S. Hallerstede}, Electron. Notes Theor. Comput. Sci. 259, 47--65 (2009; Zbl 1342.68114) Full Text: DOI
Zeyda, Frank; Cavalcanti, Ana Mechanical reasoning about families of UTP theories. (English) Zbl 1347.68098 Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 239-257 (2009). MSC: 68N30 68Q60 68T15 PDFBibTeX XMLCite \textit{F. Zeyda} and \textit{A. Cavalcanti}, Electron. Notes Theor. Comput. Sci. 240, 239--257 (2009; Zbl 1347.68098) Full Text: DOI
Cavalcanti, Ana Stateflow diagrams in Circus. (English) Zbl 1347.68074 Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 23-41 (2009). MSC: 68N30 68Q55 68Q60 68Q85 PDFBibTeX XMLCite \textit{A. Cavalcanti}, Electron. Notes Theor. Comput. Sci. 240, 23--41 (2009; Zbl 1347.68074) Full Text: DOI
Brooke, Phillip J.; Paige, Richard F. Cameo: an alternative model of concurrency for Eiffel. (English) Zbl 1184.68150 Formal Asp. Comput. 21, No. 4, 363-391 (2009). MSC: 68N15 PDFBibTeX XMLCite \textit{P. J. Brooke} and \textit{R. F. Paige}, Formal Asp. Comput. 21, No. 4, 363--391 (2009; Zbl 1184.68150) Full Text: DOI HAL
Chen, Chunqing; Dong, Jin Song; Sun, Jun A formal framework for modeling and validating simulink diagrams. (English) Zbl 1192.68438 Formal Asp. Comput. 21, No. 5, 451-483 (2009). MSC: 68Q65 68Q60 PDFBibTeX XMLCite \textit{C. Chen} et al., Formal Asp. Comput. 21, No. 5, 451--483 (2009; Zbl 1192.68438) Full Text: DOI Link
Fraikin, Benoît; Frappier, Marc Efficient symbolic computation of process expressions. (English) Zbl 1167.68040 Sci. Comput. Program. 74, No. 9, 723-753 (2009). MSC: 68Q85 68Q55 68U35 PDFBibTeX XMLCite \textit{B. Fraikin} and \textit{M. Frappier}, Sci. Comput. Program. 74, No. 9, 723--753 (2009; Zbl 1167.68040) Full Text: DOI
Yadgar, Avi; Grumberg, Orna; Schuster, Assaf Hybrid BDD and All-SAT method for model checking. (English) Zbl 1241.68082 Grumberg, Orna (ed.) et al., Languages: From formal to natural. Essays dedicated to Nissim Francez on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-01747-6/pbk). Lecture Notes in Computer Science 5533, 228-244 (2009). MSC: 68Q60 PDFBibTeX XMLCite \textit{A. Yadgar} et al., Lect. Notes Comput. Sci. 5533, 228--244 (2009; Zbl 1241.68082) Full Text: DOI
Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim A UTP semantics for Circus. (English) Zbl 1165.68048 Formal Asp. Comput. 21, No. 1-2, 3-32 (2009). MSC: 68Q65 68Q55 PDFBibTeX XMLCite \textit{M. Oliveira} et al., Formal Asp. Comput. 21, No. 1--2, 3--32 (2009; Zbl 1165.68048) Full Text: DOI
Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun Refinement and verification in component-based model-driven design. (English) Zbl 1178.68158 Sci. Comput. Program. 74, No. 4, 168-196 (2009). MSC: 68N99 68Q60 PDFBibTeX XMLCite \textit{Z. Chen} et al., Sci. Comput. Program. 74, No. 4, 168--196 (2009; Zbl 1178.68158) Full Text: DOI
Colvin, Robert; Hayes, Ian J. CSP with hierarchical state. (English) Zbl 1211.68266 Leuschel, Michael (ed.) et al., Integrated formal methods. 7th international conference, IFM 2009, Düsseldorf, Germany, February 16–19, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00254-0/pbk). Lecture Notes in Computer Science 5423, 118-135 (2009). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{R. Colvin} and \textit{I. J. Hayes}, Lect. Notes Comput. Sci. 5423, 118--135 (2009; Zbl 1211.68266) Full Text: DOI
Xavier, Manuela; Cavalcanti, Ana; Sampaio, Augusto Type checking Circus specifications. (English) Zbl 1279.68271 Moreira, Anamaria Martins (ed.) et al., Proceedings of the Brazilian symposium on formal methods (SBMF 2006), Natal, Rio Grande de Norte, Brazil, September 17–23, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 195, 75-93 (2008). MSC: 68Q85 68N15 68Q45 68Q60 PDFBibTeX XMLCite \textit{M. Xavier} et al., Electron. Notes Theor. Comput. Sci. 195, 75--93 (2008; Zbl 1279.68271) Full Text: DOI
Ferreira, Patrícia; Sampaio, Augusto; Mota, Alexandre Viewing CSP specifications with UML-RT diagrams. (English) Zbl 1279.68257 Moreira, Anamaria Martins (ed.) et al., Proceedings of the Brazilian symposium on formal methods (SBMF 2006), Natal, Rio Grande de Norte, Brazil, September 17–23, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 195, 57-74 (2008). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{P. Ferreira} et al., Electron. Notes Theor. Comput. Sci. 195, 57--74 (2008; Zbl 1279.68257) Full Text: DOI
Möller, Michael; Olderog, Ernst-Rüdiger; Rasch, Holger; Wehrheim, Heike Integrating a formal method into a software engineering process with UML and Java. (English) Zbl 1141.68024 Formal Asp. Comput. 20, No. 2, 161-204 (2008). MSC: 68N15 68Q60 PDFBibTeX XMLCite \textit{M. Möller} et al., Formal Asp. Comput. 20, No. 2, 161--204 (2008; Zbl 1141.68024) Full Text: DOI
Brooke, Phillip J.; Paige, Richard F.; Jacob, Jeremy L. A CSP model of Eiffel’s SCOOP. (English) Zbl 1131.68034 Formal Asp. Comput. 19, No. 4, 487-512 (2007). MSC: 68N15 68N19 PDFBibTeX XMLCite \textit{P. J. Brooke} et al., Formal Asp. Comput. 19, No. 4, 487--512 (2007; Zbl 1131.68034) Full Text: DOI
Evans, Neil; Treharne, Helen Interactive tool support for CSP \(\parallel\) B consistency checking. (English) Zbl 1125.68075 Formal Asp. Comput. 19, No. 3, 277-302 (2007). MSC: 68Q60 PDFBibTeX XMLCite \textit{N. Evans} and \textit{H. Treharne}, Formal Asp. Comput. 19, No. 3, 277--302 (2007; Zbl 1125.68075) Full Text: DOI
Reed, J. N.; Roscoe, A. W.; Sinclair, J. E. Responsiveness and stable revivals. (English) Zbl 1125.68077 Formal Asp. Comput. 19, No. 3, 303-319 (2007). MSC: 68Q60 PDFBibTeX XMLCite \textit{J. N. Reed} et al., Formal Asp. Comput. 19, No. 3, 303--319 (2007; Zbl 1125.68077) Full Text: DOI
Drechsler, Rolf; Fey, Görschwin Automatic test pattern generation. (English) Zbl 1182.68019 Bernardo, Marco (ed.) et al., Formal methods for hardware verification. 6th international school on formal methods for the design of computer, communication, and software systems, SFM 2006, Bertinoro, Italy, May 22–27, 2006. Advanced lectures. Berlin: Springer (ISBN 3-540-34304-0/pbk). Lecture Notes in Computer Science 3965, 30-55 (2006). MSC: 68M15 94C12 PDFBibTeX XMLCite \textit{R. Drechsler} and \textit{G. Fey}, Lect. Notes Comput. Sci. 3965, 30--55 (2006; Zbl 1182.68019) Full Text: DOI
He, Jifeng; Li, Xiaoshan; Liu, Zhiming rCOS: a refinement calculus of object systems. (English) Zbl 1118.68049 Theor. Comput. Sci. 365, No. 1-2, 109-142 (2006). MSC: 68N30 68N19 68Q55 PDFBibTeX XMLCite \textit{J. He} et al., Theor. Comput. Sci. 365, No. 1--2, 109--142 (2006; Zbl 1118.68049) Full Text: DOI
Cavalcanti, Ana; Woodcock, Jim; Dunne, Steve Angelic nondeterminism in the unifying theories of programming. (English) Zbl 1105.68012 Formal Asp. Comput. 18, No. 3, 288-307 (2006). MSC: 68N01 PDFBibTeX XMLCite \textit{A. Cavalcanti} et al., Formal Asp. Comput. 18, No. 3, 288--307 (2006; Zbl 1105.68012) Full Text: DOI Link
Atiya, D.; King, S.; Woodcock, J. C. P. Simpler reasoning about system properties: a proof-by-refinement technique. (English) Zbl 1276.68052 Derrick, John (ed.) et al., Proceedings of the REFINE 2005 workshop, Guildford, UK, April 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 137, No. 2, 5-22 (2005). MSC: 68N30 PDFBibTeX XMLCite \textit{D. Atiya} et al., Electron. Notes Theor. Comput. Sci. 137, No. 2, 5--22 (2005; Zbl 1276.68052) Full Text: Link
Jin, Hoonsang; Somenzi, Fabio An incremental algorithm to check satisfiability for bounded model checking. (English) Zbl 1272.68262 Biere, A. (ed.) et al., Proceedings of the 2nd international workshop on bounded model checking (BMC 2004), Boston, MA, USA, July 18, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 119, No. 2, 51-65 (2005). MSC: 68Q60 PDFBibTeX XMLCite \textit{H. Jin} and \textit{F. Somenzi}, Electron. Notes Theor. Comput. Sci. 119, No. 2, 51--65 (2005; Zbl 1272.68262) Full Text: Link
Pan, Guoqiang; Vardi, Moshe Y. Symbolic techniques in satisfiability solving. (English) Zbl 1109.68104 J. Autom. Reasoning 35, No. 1-3, 25-50 (2005). MSC: 68T20 PDFBibTeX XMLCite \textit{G. Pan} and \textit{M. Y. Vardi}, J. Autom. Reasoning 35, No. 1--3, 25--50 (2005; Zbl 1109.68104) Full Text: DOI
Cavalcanti, Ana; Clayton, Phil; O’Halloran, Colin Control law diagrams in Circus. (English) Zbl 1120.68412 Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 253-268 (2005). MSC: 68Q60 PDFBibTeX XMLCite \textit{A. Cavalcanti} et al., Lect. Notes Comput. Sci. 3582, 253--268 (2005; Zbl 1120.68412) Full Text: DOI
Woodcock, Jim; Cavalcanti, Ana; Freitas, Leonardo Operational semantics for model checking Circus. (English) Zbl 1120.68423 Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 237-252 (2005). MSC: 68Q60 68Q55 PDFBibTeX XMLCite \textit{J. Woodcock} et al., Lect. Notes Comput. Sci. 3582, 237--252 (2005; Zbl 1120.68423) Full Text: DOI
Jin, HoonSang; Somenzi, Fabio CirCUs: A hybrid satisfiability solver. (English) Zbl 1122.68606 Hoos, Holger H. (ed.) et al., Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-27829-X/pbk). Lecture Notes in Computer Science 3542, 211-223 (2005). MSC: 68T20 PDFBibTeX XMLCite \textit{H. Jin} and \textit{F. Somenzi}, Lect. Notes Comput. Sci. 3542, 211--223 (2005; Zbl 1122.68606) Full Text: DOI
Jin, HoonSang; Awedh, Mohammad; Somenzi, Fabio CirCUs: A satisfiability solver geared towards bounded model checking. (English) Zbl 1103.68625 Alur, Rajeev (ed.) et al., Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22342-8/pbk). Lecture Notes in Computer Science 3114, 519-522 (2004). MSC: 68Q60 PDFBibTeX XMLCite \textit{H. Jin} et al., Lect. Notes Comput. Sci. 3114, 519--522 (2004; Zbl 1103.68625) Full Text: DOI
Butterfield, Andrew; Woodcock, Jim Semantic domains for Handel-C. (English) Zbl 1270.68151 Flynn, Sharon et al., MFCSIT 2002. Proceedings of the second Irish conference on the mathematical foundations of computer science and information technology, National University of Ireland, Galway, Ireland, July 18–19, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 74, 1-20 (2003). MSC: 68Q55 68N17 68N19 68N30 PDFBibTeX XMLCite \textit{A. Butterfield} and \textit{J. Woodcock}, Electron. Notes Theor. Comput. Sci. 74, 1--20 (2003; Zbl 1270.68151) Full Text: Link
Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim A refinement strategy for Circus. (English) Zbl 1093.68555 Formal Asp. Comput. 15, No. 2-3, 146-181 (2003). MSC: 68N01 PDFBibTeX XMLCite \textit{A. Cavalcanti} et al., Formal Asp. Comput. 15, No. 2--3, 146--181 (2003; Zbl 1093.68555) Full Text: DOI
Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim Refinement of actions in Circus. (English) Zbl 1270.68079 Derrick, John (ed.) et al., REFINE 2002. Proceedings of the BCS FACS refinement workshop (satellite event of FLoC 2002), Copenhagen, Denmark, July 20–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 3, 132-162 (2002). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{A. Cavalcanti} et al., Electron. Notes Theor. Comput. Sci. 70, No. 3, 132--162 (2002; Zbl 1270.68079) Full Text: Link
Sampaio, Augusto; Woodcock, Jim; Cavalcanti, Ana Refinement in Circus. (English) Zbl 1064.68539 Eriksson, Lars-Henrik (ed.) et al., FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43928-5). Lect. Notes Comput. Sci. 2391, 451-470 (2002). MSC: 68N30 68Q60 68Q85 PDFBibTeX XMLCite \textit{A. Sampaio} et al., Lect. Notes Comput. Sci. 2391, 451--470 (2002; Zbl 1064.68539) Full Text: Link
Woodcock, Jim; Cavalcanti, Ana The semantics of Circus. (English) Zbl 1044.68560 Bert, Didier (ed.) et al., ZB 2002: Formal specification and development in Z and B. 2nd international conference of B and Z users, Grenoble, France, January 23–25, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43166-7). Lect. Notes Comput. Sci. 2272, 184-203 (2002). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{J. Woodcock} and \textit{A. Cavalcanti}, Lect. Notes Comput. Sci. 2272, 184--203 (2002; Zbl 1044.68560) Full Text: Link
Bodlaender, Hans L. On linear time minor tests with depth-first search. (English) Zbl 0764.68107 J. Algorithms 14, No. 1, 1-23 (1993). MSC: 68R10 68Q25 90C35 05C38 PDFBibTeX XMLCite \textit{H. L. Bodlaender}, J. Algorithms 14, No. 1, 1--23 (1993; Zbl 0764.68107) Full Text: DOI